✦ LIBER ✦
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
✍ Scribed by Zhou, Yu; Baresi, Luciano; Rossi, Matteo
- Book ID
- 118813646
- Publisher
- Springer
- Year
- 2013
- Tongue
- English
- Weight
- 784 KB
- Volume
- 28
- Category
- Article
- ISSN
- 1000-9000
No coin nor oath required. For personal study only.