TU Darmstadt / ULB / TUbiblio

DeltaCCS: A Core Calculus for Behavioral Change

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and 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) .
[Conference or Workshop Item] , (2014)

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:

Optionen (nur für Redakteure)

View Item View Item