close

Se connecter

Se connecter avec OpenID

Communicating Real-Time State Machines (CRSM)

IntégréTéléchargement
Real-Time Systems and Modeling
Projects
Fall 2015
José M. Garrido
Department of Computer Science
Kennesaw State University
Projects
• Enhance the real modeling of the train-gate system
in UML
• Extend and include graphical animation on the Java
simulation model of the Train-Gate System
• Improved approaches for improving simulation of
RT Systems
• Formal specification of RTS
• A specification language for RT systems - using
Extended-OCL. Modeling in UML RTS
development method.
(C) J M Garrido
2
Auteur
Документ
Catégorie
Без категории
Affichages
4
Taille du fichier
191 Кб
Étiquettes
1/--Pages
signaler