0
I Use This!
Inactive
Analyzed about 11 hours ago. based on code collected about 11 hours 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
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

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

30 Day Summary

Mar 20 2018 — Apr 19 2018

12 Month Summary

Apr 19 2017 — Apr 19 2018

Ratings

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