Archived publication
Archived publication
Semantics of UML Statecharts in PVS
3747/Aredo_-_Semantics_of_UML_Statecharts_in_PVS.pdf
July 01, 2003
DART
- Published date: July 01, 2003
- Refereed: 1
- Filename: 3747/Aredo_-_Semantics_of_UML_Statecharts_in_PVS.pdf
- Conference: The 7th Internation Multiconference in Systemics, Cybernetics and Informatics (SCI2003)
- Page(s): 6
- Title: Semantics of UML Statecharts in PVS
- Author(s): Aredo, Demissie