Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Nonfiction, Science & Nature, Mathematics, Calculus, Technology, Aeronautics & Astronautics
Big bigCover of Formal Methods for Safety and Security

More books from Springer Singapore

bigCover of the book Invasive Tightly Coupled Processor Arrays by
bigCover of the book Parallel Power Electronics Filters in Three-Phase Four-Wire Systems by
bigCover of the book Copulas and Its Application in Hydrology and Water Resources by
bigCover of the book Predictive Computing and Information Security by
bigCover of the book Science Education Research and Practice in Asia-Pacific and Beyond by
bigCover of the book Student Engagement in Neoliberal Times by
bigCover of the book A Grammar of Kam Revealed in Its Narrative Discourse by
bigCover of the book Pharmaceutical Nanotechnology by
bigCover of the book The Rise of Legal Graffiti Writing in New York and Beyond by
bigCover of the book Exact Boundary Controllability of Nodal Profile for Quasilinear Hyperbolic Systems by
bigCover of the book Aid Effectiveness for Environmental Sustainability by
bigCover of the book Next Generation Point-of-care Biomedical Sensors Technologies for Cancer Diagnosis by
bigCover of the book Advances in Communication, Devices and Networking by
bigCover of the book Geo-informatics in Sustainable Ecosystem and Society by
bigCover of the book Pushing the Frontier 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