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 Noise and Vibration Mitigation for Rail Transportation Systems by
bigCover of the book The Vienna Circle by
bigCover of the book Scientific Peer Reviewing by
bigCover of the book Surveys in Differential-Algebraic Equations III by
bigCover of the book Social Management by
bigCover of the book Mathematical Technology of Networks by
bigCover of the book Agricultural Development in the World Periphery by
bigCover of the book The International Political Economy of Oil and Gas by
bigCover of the book Plant, Soil and Microbes by
bigCover of the book Politics and Aesthetics of the Female Form, 1908-1918 by
bigCover of the book Combinatorial Optimization and Applications by
bigCover of the book Climatic Changes Since 1700 by
bigCover of the book Religion and Human Rights by
bigCover of the book Carbon Nanofiber Reinforced Polymer Composites by
bigCover of the book Doppler Echocardiography in Infancy and Childhood 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