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 |
Drucken
Impressum