0
I Use This!
Activity Not Available
Analyzed 7 months ago. based on code collected 7 months ago.

Project Summary

This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.

Tags

No tags have been added

In a Nutshell, An Automatic UML Convertion Tool...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    data presented on the Open Hub is available through our API
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Languages?height=75&width=75
Java
88%
XML
12%
MetaFont
<1%

30 Day Summary

Mar 25 2018 — Apr 24 2018

12 Month Summary

Apr 24 2017 — Apr 24 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!