Non-interference on UML State-Charts
Carlo A. Furia;Sebastian Nanz (Hrsg). Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Berlin: Springer 2012 S. 219 - 235 (Lecture Notes in Computer Science)
Erscheinungsjahr: 2012
ISBN/ISSN: 978-3-642-30560-3
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-30561-0_16
| Geprüft | Bibliothek |
