Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, 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 Certainty in Law by
bigCover of the book Examining Mental Health through Social Constructionism by
bigCover of the book Aviation Security, Privacy, Data Protection and Other Human Rights: Technologies and Legal Principles by
bigCover of the book Popper and His Popular Critics by
bigCover of the book Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection by
bigCover of the book Herbert Fröhlich by
bigCover of the book Meditation – Neuroscientific Approaches and Philosophical Implications by
bigCover of the book Teaching and Learning Methods in Medicine by
bigCover of the book Circadian Rhythms and Their Impact on Aging by
bigCover of the book Proceedings of the International Conference of Mechatronics and Cyber-MixMechatronics - 2017 by
bigCover of the book Modern Trends and Techniques in Computer Science by
bigCover of the book Advanced Microsystems for Automotive Applications 2017 by
bigCover of the book Capacitated Lot Sizing Problems in Process Industries by
bigCover of the book Jan Hendrik Oort by
bigCover of the book Information Theoretic Security 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