Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
2011
Francisco Dur´an and Vlad Rusu (Eds.):Second International Workshop on Algebraic Methodsin Model-Based Software Engineering 2011 (AMMSE’11)EPTCS 56, 2011, pp. 49–63, doi:10.4204/EPTCS.56.4c F. Duran, P. C.´ Olveczky, and J. E. Rivera¨This work is licensed under theCreative Commons Attribution License.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
13
References
0
Citations
NaN
KQI