TU Darmstadt / ULB / TUbiblio

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Bernardo, M. ; Issarny, V. (eds.) (2011):
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
In: LNCS, 6659, In: Formal Methods for Eternal Networked Software Systems, p. 417, Springer-Verlag, [Book Section]

Item Type: Book Section
Erschienen: 2011
Editors: Bernardo, M. ; Issarny, V.
Creators: Clarke, Dave ; Diakov, Nikolay ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schafer, Ina ; Schäfer, Jan ; Schlatte, Rudolf ; Wong, Peter
Title: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Language: German
Title of Book: Formal Methods for Eternal Networked Software Systems
Series Name: LNCS
Volume: 6659
Publisher: Springer-Verlag
Uncontrolled Keywords: HATS, wp6
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: ConnectSS11
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