Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
AvAlessandro Fantechi,Patrizio Pelliccione
Häftad, Engelska, 2015
Del 9274 i serien Lecture Notes in Computer Science
450 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 19
Software Engineering Of Fault Tolerant Systems
AL P PELLICCIONE ET, Patrizio Pelliccione, Henry Muccini, Alexander Romanovsky, Nicolas Guelfi
Inbunden, 2007
2 716 kr
From Software Engineering to Formal Methods and Tools, and Back
Laura Semini, Alessandro Fantechi, Maurice H. ter Beek
E-bok
2019734 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Alexander Romanovsky, Thierry Lecomte, Alessandro Fantechi
E-bok
2017708 kr
Del 11865
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Häftad, 2019
561 kr
Formal Methods for Open Object-Based Distributed Systems
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Inbunden, 1999
2 225 kr
Formal Methods for Open Object-Based Distributed Systems
Roberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini
E-bok
20132 925 kr