A Formal Semantics of UML: The ASM Approach
A. Cavarra
Details
| Address |
Ecole Centrale de Nantes‚ France |
| Book Title |
Modelling and Verification of Parallel Processes (MOVEP'2k) |
| Editor |
F. Cassez and C. Jard and B. Rozoy and M. Ryan |
| Month |
JUN |
| Year |
2000 |
Links
Related pages
|
People |