TU Darmstadt / ULB / TUbiblio

Prototyping Formal System Models with Active Objects

Kamburjan, Eduard and Hähnle, Reiner (2018):
Prototyping Formal System Models with Active Objects.
In: ICE, In: EPTCS, 279, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2018
Creators: Kamburjan, Eduard and Hähnle, Reiner
Title: Prototyping Formal System Models with Active Objects
Language: German
Series Name: EPTCS
Volume: 279
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: ICE
Date Deposited: 12 Feb 2019 16:36
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item