Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications
Marco Bernardo;Valérie Issarny (Hrsg). Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin: Springer 2011 S. 504 - 526
Erscheinungsjahr: 2011
ISBN/ISSN: 978-3-642-21454-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-21455-4_15
| Geprüft | Bibliothek |
Autoren
Ochoa, Martín (Autor)
Schmidt, Holger (Autor)
Marchal, Loïc (Autor)
Houmb, Siv Hilde (Autor)
Islam, Shareeful (Autor)
