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]
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: |
Optionen (nur für Redakteure)
 |
View Item |
Drucken
Impressum