TU Darmstadt / ULB / TUbiblio

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems

Din, Crystal Chang and Tarifa, Silvia Lizeth Tapia and Hähnle, Reiner and Johnsen, Einar Broch
Butler, Michael J. and Conchon, Sylvain and Zaidi, Fatiha (eds.) (2015):
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Springer, In: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, In: Lecture Notes in Computer Science, DOI: 10.1007/978-3-319-25423-4₁₄, [Online-Edition: https://doi.org/10.1007/978-3-319-25423-4_14],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2015
Editors: Butler, Michael J. and Conchon, Sylvain and Zaidi, Fatiha
Creators: Din, Crystal Chang and Tarifa, Silvia Lizeth Tapia and Hähnle, Reiner and Johnsen, Einar Broch
Title: History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 9407
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Date Deposited: 27 Apr 2018 10:48
DOI: 10.1007/978-3-319-25423-4₁₄
Official URL: https://doi.org/10.1007/978-3-319-25423-4_14
Export:

Optionen (nur für Redakteure)

View Item View Item