TU Darmstadt / ULB / TUbiblio

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

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

Item Type: Book Section
Erschienen: 2011
Editors: Bernardo, M. and Issarny, V.
Creators: Clarke, Dave and Diakov, Nikolay and Hähnle, Reiner and Johnsen, Einar Broch and Schafer, Ina and Schäfer, Jan and Schlatte, Rudolf and 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:

Optionen (nur für Redakteure)

View Item View Item