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 Landslides in Cold Regions in the Context of Climate Change by
bigCover of the book Headache in Children and Adolescents by
bigCover of the book Chemistry of Antibiotics and Related Drugs by
bigCover of the book Multi-disciplinary Trends in Artificial Intelligence by
bigCover of the book Management of Speech and Video Telephony Quality in Heterogeneous Wireless Networks by
bigCover of the book Italy in International Relations by
bigCover of the book J.W.R. Whitehand and the Historico-geographical Approach to Urban Morphology by
bigCover of the book Computational Collective Intelligence by
bigCover of the book Balanced Ethics Review by
bigCover of the book Doppler Sonography in Infancy and Childhood by
bigCover of the book Corporate Social Responsibility and Reporting in Sports Organizations by
bigCover of the book Proportional Representation by
bigCover of the book Advancement of Optical Methods in Experimental Mechanics, Volume 3 by
bigCover of the book Politics and Violence in Central America and the Caribbean by
bigCover of the book Problems, Philosophy and Politics of Climate Science 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