TU Darmstadt / ULB / TUbiblio

DeltaCCS: A Core Calculus for Behavioral Change

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars :
DeltaCCS: A Core Calculus for Behavioral Change.
In: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) .
[Konferenz- oder Workshop-Beitrag], (2014)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2014
Autor(en): Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars
Titel: DeltaCCS: A Core Calculus for Behavioral Change
Sprache: Englisch
Reihe: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Fachbereich Elektrotechnik und Informationstechnik
Veranstaltungstitel: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Hinterlegungsdatum: 27 Jan 2015 14:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen