TY  - BOOK
AU  - Lang,Frédéric
AU  - Flammini,Francesco
TI  - Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings 
SN  - 9783319107028
PY  - 2014///
CY  - Cham
PB  - Springer International Publishing
KW  - Computer science
KW  - Special purpose computers
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
N1  - Formal Verification of Steady-State Errors in Unity-Feedback Control Systems -- Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface -- Analysis of Real-Time Properties of a Digital Hydraulic Power Management System -- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip -- Formal Specification and Verification of TCP Extended with the Window Scale Option -- Learning Fragments of the TCP Network Protocol -- On the Validation of an Interlocking System by Model-Checking -- Deadlock Avoidance in Train Scheduling: A Model Checking Approach -- An Open Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements -- Test Specification Patterns for Automatic Generation of Test Sequences -- Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation
UR  - http://dx.doi.org/10.1007/978-3-319-10702-8
ER  -