0
I Use This!
Activity Not Available
Analyzed 3 months ago. based on code collected 3 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
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    compare projects before you chose one to use

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!