Opening book details…
Can I read Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers on EtoBox?
Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers by Cyrille Artho, Peter Csaba Ölveczky, (eds.) is a nonfiction available to read on EtoBox.
What is Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers about?
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. Erscheinungsdatum: 22.04.2014
Who reads Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Cyrille Artho, Peter Csaba Ölveczky, (eds.)
- Publisher
- Springer International Publishing
- Published
- 2014
- Language
- EN
- ISBN
- 9783319054155
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
Other editions & translations
- Formal Techniques For Safety-critical Systems: 5th International Workshop, Ftscs 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers (communications (2017)
- Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (2019)
- Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers (Communication (2016)
- Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers (Communications (2015)
More by Cyrille Artho, Peter Csaba Ölveczky, (eds.)
Browse all works by Cyrille Artho, Peter Csaba Ölveczky, (eds.)
Similar books
- Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers — Zhenhua Duan Shaoying Liu (2014)
- Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers — Cyrille Artho, Peter Csaba Ölveczky (2019)
- Distributed Computer and Communication Networks. Revised Selected Papers, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers : 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013. Revised Selected Papers — Vladimir Vishnevsky, Dmitry Kozyrev, Andrey Larionov (2014)
- Semantic Web Collaborative Spaces : Second International Workshop, SWCS 2013, Montpellier, France, May 27, 2013, Third International Workshop, SWCS 2014, Trentino, Italy, October 19, 2014, Revised Selected and Invited Papers — Pascal Molli, John G. Breslin, Maria-Esther Vidal (2016)
- Combinatorial Algorithms: 24th International Workshop, Iwoca 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers (lecture Notes In Computer Science) — Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen, Armin Weiß (auth.), Thierry Lecroq, Laurent Mouchard (2013)
- Critical information infrastructures security : 8th International Workshop, CRITIS 2013, Amsterdam, the Netherlands, September 16-18, 2013 : revised selected papers — Tjerk Bijlsma, Sander de Kievit, Jacco van de Sluis, Ellen van Nunen, Igor Passchier (auth.), Eric Luiijf, Pieter Hartel (2013)