E-Books durchsuchen
Formal Methods Applied to Industrial Complex Systems [2014]
- 1
-
Formal Description and Modeling of Risks
- 27
-
An Innovative Approach and an Adventure in Rail Safety
- 37
-
Use of Formal Proof for CBTC (OCTYS)
- 71
-
Safety Demonstration for a Rail Signaling Application in Nominal and Degraded Modes Using Formal Proof
- 115
-
Formal Verification of Data for Parameterized Systems
- 137
-
ERTMS Modeling Using EFS
- 165
-
The Use of a “Model‐Based Design” Approach on an ERTMS Level 2 Ground System
- 191
-
Applying Abstract Interpretation to Demonstrate Functional Safety
- 235
-
BCARe: Automatic Rule Checking for Use with Siemens
- 275
-
Validation of Railway Security Automatisms Based on Petri Networks
- 353
-
Combination of Formal Methods for Creating a Critical Application
- 391
-
Mathematical Proofs for the New York Subway
- 409
-
Conclusion
- 449
-
Glossary
- 455
-
List of Authors
- 457
-
Index
- i
-
Front Matter