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 Biometric Security and Privacy by
bigCover of the book Fair Scheduling in High Performance Computing Environments by
bigCover of the book Italians in Australia by
bigCover of the book Innovation for Engineers by
bigCover of the book Fish on the Move by
bigCover of the book Differential Equations by
bigCover of the book Knowledge Management in Organizations by
bigCover of the book Coherent Vortex Structures in Fluids and Plasmas by
bigCover of the book Balancing of Linkages and Robot Manipulators by
bigCover of the book Lacan and the Posthuman by
bigCover of the book Geographical Information Systems Theory, Applications and Management by
bigCover of the book Games and Learning Alliance by
bigCover of the book Handbook of School-Based Mental Health Promotion by
bigCover of the book Lucky Boy in the Lucky Country by
bigCover of the book Intelligent Systems and Applications 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