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 |