default search action
19th FMICS 2014: Florence, Italy
- Frédéric Lang, Francesco Flammini
:
Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings. Lecture Notes in Computer Science 8718, Springer 2014, ISBN 978-3-319-10701-1 - Muhammad Ahmad, Osman Hasan
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. 1-15 - Thang Nguyen, Dejan Nickovic:
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. 16-32 - Pontus Boström
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. 33-47 - Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. 48-62 - Lars Lockefeer, David M. Williams
Formal Specification and Verification of TCP Extended with the Window Scale Option. 63-77 - Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager:
Learning Fragments of the TCP Network Protocol. 78-93 - Andrea Bonacchi, Alessandro Fantechi:
On the Validation of an Interlocking System by Model-Checking. 94-108 - Franco Mazzanti
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. 109-123 - Henning Basold
An Open Alternative for SMT-Based Verification of Scade Models. 124-139 - Sandrine Blazy
Improving Static Analyses of C Programs with Conditional Predicates. 140-154 - Christian Ellen, Sven Sieverding, Hardi Hungar:
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. 155-169 - Ugo Gentile
Test Specification Patterns for Automatic Generation of Test Sequences. 170-184 - Brian Campbell
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. 185-199
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: