Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Formal Techniques for Safety-Critical Systems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319054162
Publisher: Springer International Publishing Publication: April 5, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319054162
Publisher: Springer International Publishing
Publication: April 5, 2014
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book New Atheism: Critical Perspectives and Contemporary Debates by
Cover of the book Antenna Design Solutions for RFID Tags Based on Metamaterial-Inspired Resonators and Other Resonant Structures by
Cover of the book Advances in Artificial Intelligence by
Cover of the book Bioarchaeology of Women and Children in Times of War by
Cover of the book Wisdom Web of Things by
Cover of the book Science Education: A Global Perspective by
Cover of the book ICT-Supported Innovations in Small Countries and Developing Regions by
Cover of the book Genetic Influences on Response to Drug Treatment for Major Psychiatric Disorders by
Cover of the book Migration, Refugees and Human Security in the Mediterranean and MENA by
Cover of the book The Foxtail Millet Genome by
Cover of the book Algorithms and Architectures for Parallel Processing by
Cover of the book Genetics and Genomics of Pineapple by
Cover of the book Computational Science/Intelligence & Applied Informatics by
Cover of the book Combining Interval, Probabilistic, and Other Types of Uncertainty in Engineering Applications by
Cover of the book Procedural Dictations in Image-Guided Intervention by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy