Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.
| Autor: | Habermaier, Axel, Knapp, Alexander, Leupolz, Johannes, Reif, Wolfgang |
|---|---|
| Zdroj: | Critical Systems: Formal Methods & Automated Verification; 2016, p97-114, 18p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|