Formal Techniques for Safety-Critical Systems

Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Techniques for Safety-Critical Systems

More books from Springer International Publishing

bigCover of the book Rehabilitative Surgery by
bigCover of the book Intelligent Technologies for Interactive Entertainment by
bigCover of the book The Common Bean Genome by
bigCover of the book Membranes by
bigCover of the book Seismic Hazard and Risk Assessment by
bigCover of the book Analysis of Images, Social Networks and Texts by
bigCover of the book Atlas of Thyroid Ultrasonography by
bigCover of the book Subjectivity and Selfhood in Medieval and Early Modern Philosophy by
bigCover of the book IgM and Its Receptors and Binding Proteins by
bigCover of the book Nonlinear Reaction-Diffusion Systems by
bigCover of the book Dynamic Wireless Sensor Networks by
bigCover of the book Advances in Human Aspects of Transportation by
bigCover of the book Monte Carlo and Quasi-Monte Carlo Methods by
bigCover of the book Interventional Therapies for Secondary and Essential Hypertension by
bigCover of the book Comprehensive Cardiovascular Medicine in the Primary Care Setting 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