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 Minimally Invasive Bariatric and Metabolic Surgery by
bigCover of the book Magnetic Nanoparticles by
bigCover of the book Perioperative Two-Dimensional Transesophageal Echocardiography by
bigCover of the book High Performance Computing in Science and Engineering ´15 by
bigCover of the book A Controlled Phase Gate Between a Single Atom and an Optical Photon by
bigCover of the book Mixing and Dispersion in Flows Dominated by Rotation and Buoyancy by
bigCover of the book Acoustic Cavitation and Bubble Dynamics by
bigCover of the book The Fall of France in the Second World War by
bigCover of the book Zika Virus Infection by
bigCover of the book Monetary Policy, Financial Crises, and the Macroeconomy by
bigCover of the book Advanced Design Cultures by
bigCover of the book Chinese Assertiveness in the South China Sea by
bigCover of the book Medical and Mental Health During Childhood by
bigCover of the book Charting the Roots of Anti-Chinese Populism in Africa by
bigCover of the book Social Management 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