Gabriel Alexander Torres

• Home
• Education
• Projects
• Contact

Creating a Graphical User Interface (GUI) for a UML-Based Model Checking Application

The purpose of this project is to research and improve the functionality of the UML-based Specification Environment (USE) tool.

LinkedIn

Download Resume