Formal Methods for Industrial Critical Systems by Maurice H Ter Beek
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.
The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.
-
Fundamentals of Software Engineering
-
Software Engineering and Formal Methods
-
Formal Methods for Eternal Networked Software Systems
-
Autonomic and Trusted Computing
-
Analytical and Stochastic Modeling Techniques and Applications
-
Principles and Practice of Constraint Programming
-
Software Architecture
-
Runtime Verification
-
Computer Safety, Reliability, and Security
-
Formal Techniques for Distributed Objects, Components, and Systems
-
Search-Based Software Engineering
-
Fields of Logic and Computation III
-
Web Services – ICWS 2020
-
Tests and Proofs
-
Software Language Engineering
-
Service-Oriented Computing--ICSOC 2013 Workshops
-
Services Computing – SCC 2020
-
Energy-Efficient Data Centers
-
Intelligent Tutoring Systems
-
Programming Languages and Systems
-
Foundations of Health Information Engineering and Systems
-
Rules and Reasoning
-
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
-
Selected Topics in Performance Evaluation and Benchmarking
-
Formal Methods for Components and Objects
-
Automated Technology for Verification and Analysis
-
OpenMP: Conquering the Full Hardware Spectrum
-
Computer Performance Engineering
-
ECOOP 2014 -- Object-Oriented Programming
-
Software Engineering
-
Software Engineering for Self-Adaptive Systems
-
Mathematical and Engineering Methods in Computer Science
-
Formal Methods: Foundations and Applications
-
Formal Aspects of Component Software
-
NASA Formal Methods
-
Large-Scale Complex IT Systems. Development, Operation and Management
-
Language Engineering and Rigorous Software Development
-
Foundations of Computer Software: Future Trends and Techniques for Development
-
Software Process and Product Measurement
-
Rule Interchange and Applications
-
Verified Software: Theorie, Tools, Experiments
-
Web Services and Formal Methods
-
Journeys Between Formal Methods and the Railway Industry
-
Formal Methods: Foundations and Applications
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
-
Critical Systems: Formal Methods and Automated Verification
-
Coordination Models and Languages
-
Web Services and Formal Methods
-
Integrated Formal Methods
-
From Software Engineering to Formal Methods and Tools, and Back
-
Formal Methods – The Next 30 Years
| SKU | Unavailable |
| ISBN 13 | 9783030582975 |
| ISBN 10 | 3030582973 |
| Title | Formal Methods for Industrial Critical Systems |
| Author | Maurice H Ter Beek |
| Series | Programming And Software Engineering |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Nature Switzerland AG |
| Year published | 2020-08-29 |
| Number of pages | 289 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |