Opening book details…
Can I read Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings on EtoBox?
Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings by Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.) is a computer science book available to read on EtoBox.
What is Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings about?
This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. <br>The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.
Who reads Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.)
- Publisher
- Springer Berlin Heidelberg : Imprint : Springer
- Published
- 2012
- Language
- EN
- ISBN
- 9783642331763
- Category
- computer science
- Subjects
- Computer Science, Business, Engineering
- Updated
- 2026-03-25
More by Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.)
Browse all works by Yannis Lilis, Anthony Savidis (auth.), Paris Avgeriou (eds.)
Similar books
- Software engineering for resilient systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 : proceedings — István Majzik and Marco Vieira (2014)
- Security and Trust Management [recurso electrónico] 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers — Peter Drábik, Fabio Martinelli, Charles Morisset (auth.), Audun Jøsang, Pierangela Samarati, Marinella Petrocchi (2013)
- Search Based Software Engineering : 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings — Kalyanmoy Deb (auth.), Gordon Fraser, Jerffeson Teixeira de Souza (2012)
- Data Privacy Management and Autonomous Spontaneous Security [recurso electrónico] 7th International Workshop, DPM 2012, and 5th International Workshop, SETOP 2012, Pisa, Italy, September 13-14, 2012. Revised Selected Papers — Panayiotis Kotzanikolaou, Emmanouil Magkos, Nikolaos Petrakos, Christos Douligeris (auth.), Roberto Di Pietro, Javier Herranz, Ernesto Damiani, Radu State (2013)
- Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings — Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp; International Workshop on Formal Methods for Industrial Critical Systems; International Workshop on Automated Verification of Critical Systems (2016)
- Public Key Infrastructures, Services and Applications: 9th European Workshop, EuroPKI 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers (Lecture Notes in Computer Science (7868)) — Masaya Yasuda, Jun Yajima, Takeshi Shimoyama, Jun Kogure (auth.), Sabrina De Capitani di Vimercati, Chris Mitchell (2013)