TU Darmstadt / ULB / TUbiblio

DeltaCCS: A Core Calculus for Behavioral Change

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 Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details