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.
In: Lecture Notes in Computer Science, 7542, pp. 109-132, Springer, Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers, DOI: 10.1007/978-3-642-35887-6₆,
[Conference or Workshop Item]
Official URL: https://doi.org/10.1007/978-3-642-35887-6_6
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: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |