Del 9274
Software Engineering for Resilient Systems
Alessandro Fantechi, Patrizio Pelliccione
Häftad, 2015
449 kr
Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
AvPatrizio Pelliccione,Alessandro Fantechi
E-bok
PDF, Engelska, 2015571 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
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
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
2017734 kr
Del 11865
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Häftad, 2019
559 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 216 kr
Formal Methods for Open Object-Based Distributed Systems
Roberto Gorrieri, Alessandro Fantechi, Paolo Ciancarini
E-bok
20132 925 kr