Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2014):
DeltaCCS: A Core Calculus for Behavioral Change.
In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp. 320-335, Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, [Conference or Workshop Item]
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2014 |
| Creators: | Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars |
| Title: | DeltaCCS: A Core Calculus for Behavioral Change |
| Language: | English |
| Series Name: | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
| Divisions: | 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering |
| Event Title: | Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
| Date Deposited: | 27 Jan 2015 14:58 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum