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 Race and Representative Bureaucracy in American Policing by
bigCover of the book Beyond Standard Model Collider Phenomenology of Higgs Physics and Supersymmetry by
bigCover of the book Human Aspects of IT for the Aged Population. Design for Aging by
bigCover of the book Noncontact Atomic Force Microscopy by
bigCover of the book Formation Processes of Maritime Archaeological Landscapes by
bigCover of the book Architecture, Urban Space and War by
bigCover of the book Wireless and Satellite Systems by
bigCover of the book Global Mobile Satellite Communications Theory by
bigCover of the book The Strauss-Krüger Correspondence by
bigCover of the book Improving Societal Resilience to Disasters by
bigCover of the book Latino Identity and Political Attitudes by
bigCover of the book The Diversity of Russian Estuaries and Lagoons Exposed to Human Influence by
bigCover of the book The Universal Coefficient Theorem and Quantum Field Theory by
bigCover of the book Chemistry Beyond Chlorine by
bigCover of the book New Trends in Medical and Service Robotics 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