TU Darmstadt / ULB / TUbiblio

HATS Abstract Behavioral Specification: The Architectural View

Hähnle, Reiner and Helvensteijn, Michiel and Johnsen, Einar Broch and Lienhardt, Michael and Sangiorgi, Davide and Schaefer, Ina and Wong, Peter Y. H.
Beckert, Bernhard and Damiani, Ferruccio and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2011):
HATS Abstract Behavioral Specification: The Architectural View.
Springer, In: Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, In: Lecture Notes in Computer Science, DOI: 10.1007/978-3-642-35887-6₆, [Online-Edition: https://doi.org/10.1007/978-3-642-35887-6_6],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2011
Editors: Beckert, Bernhard and Damiani, Ferruccio and de Boer, Frank S. and Bonsangue, Marcello M.
Creators: Hähnle, Reiner and Helvensteijn, Michiel and Johnsen, Einar Broch and Lienhardt, Michael and Sangiorgi, Davide and Schaefer, Ina and Wong, Peter Y. H.
Title: HATS Abstract Behavioral Specification: The Architectural View
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 7542
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Date Deposited: 27 Apr 2018 10:46
DOI: 10.1007/978-3-642-35887-6₆
Official URL: https://doi.org/10.1007/978-3-642-35887-6_6
Export:

Optionen (nur für Redakteure)

View Item View Item