Description
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.
Categories
License
Update Notifications
User Ratings
User Reviews
Be the first to post a review of An Automatic UML Convertion Tool!