Probabilistic UML statecharts for specification and verification: a case study
Maria Victoria Cengarle;Eduardo B. Fernandez;Jan Jürjens;Bernhard Rumpe;Robert Sandner (Hrsg). Workshop on Critical Systems Development with UML: CSDUML 2002; September 30, 2002 Dresden. München: Technische Universität München, Institut für Informatik 2002 S. 121 - 131
Erscheinungsjahr: 2002
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Jansen, David N. (Autor)
Jürjens, Jan (Autor)
Cengarle, Maria Victoria (Autor)
Fernandez, Eduardo B. (Autor)
Rumpe, Bernhard (Autor)
Sandner, Robert (Autor)
