TU Darmstadt / ULB / TUbiblio

Executable Requirements Specification: Formal Semantics of Live Activity Diagrams

Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte (2008)
Executable Requirements Specification: Formal Semantics of Live Activity Diagrams.
Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2008
Autor(en): Knieke, Christoph ; Huhn, Michaela ; Lochau, Malte
Art des Eintrags: Bibliographie
Titel: Executable Requirements Specification: Formal Semantics of Live Activity Diagrams
Sprache: Englisch
Publikationsjahr: 2008
Veranstaltungstitel: Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China
URL / URN: http://dx.doi.org/10.1109/TASE.2008.10
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
Hinterlegungsdatum: 05 Jun 2015 10:43
Letzte Änderung: 05 Jun 2015 10:43
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen