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 Achieving Sustainable Business Excellence by
bigCover of the book Emerging Challenges in Business, Optimization, Technology, and Industry by
bigCover of the book How To Write Your First Thesis by
bigCover of the book Very-high-energy Gamma-ray Observations of Pulsar Wind Nebulae and Cataclysmic Variable Stars with MAGIC and Development of Trigger Systems for IACTs by
bigCover of the book Retail Analytics by
bigCover of the book Microbiome Community Ecology by
bigCover of the book Researching Risk and Uncertainty by
bigCover of the book Peer Interactions in New Content and Language Integrated Settings by
bigCover of the book Political Theology and Pluralism by
bigCover of the book Systemic Aspects of Innovation and Design by
bigCover of the book Geometric Science of Information by
bigCover of the book Developing Sustainable Careers Across the Lifespan by
bigCover of the book Recent Trends in Cancer Biology: Spotlight on Signaling Cascades and microRNAs by
bigCover of the book Infiltration Measurements for Soil Hydraulic Characterization by
bigCover of the book Evolution and Transitions in Complexity 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