Formal Techniques for Safety-Critical Systems

6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, 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 Verification, Model Checking, and Abstract Interpretation by
bigCover of the book Competence Assessment in Education by
bigCover of the book Postharvest Biology and Technology of Temperate Fruits by
bigCover of the book Operations Research and Enterprise Systems by
bigCover of the book Corpus-Based Studies on Non-Finite Complements in Recent English by
bigCover of the book Cardiovascular Complications in Cancer Therapy by
bigCover of the book Strategic Innovative Marketing by
bigCover of the book Advanced Thyroid and Parathyroid Ultrasound by
bigCover of the book Reduced Order Methods for Modeling and Computational Reduction by
bigCover of the book Augmented Marked Graphs by
bigCover of the book Implant Aesthetics by
bigCover of the book Controlled Natural Language by
bigCover of the book Constructing Catalan Identity by
bigCover of the book Mastering Advanced Rhinoplasty by
bigCover of the book Eighteenth-Century Women's Writing and the 'Scandalous Memoir' 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