Author

Profile picture
Issa Traoré
Department of Electrical and Computer Engineering, University of Victoria
Victoria, Canada
1 article by this author
Sort by:
Research Article
An Outline of PVS Semantics for UML Statecharts
Issa Traoré
10.3217/jucs-006-11-1088
 28-11-2000
 Unique: 482 | Total: 570  | Access Period:
 1088-1108
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK