![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
6th FTSCS 2018: Gold Coast, Australia
- Cyrille Artho, Peter Csaba Ölveczky:
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Communications in Computer and Information Science 1008, Springer 2019, ISBN 978-3-030-12987-3
Analysis and Verification of Safety-Critical Systems
- Asad Ahmed, Osman Hasan, Falah Awwad:
Formal Stability Analysis of Control Systems. 3-17 - Maryam Kamali, Sven Linker
, Michael Fisher:
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. 18-36 - Liana Mikaelyan
, Sascha Müller
, Andreas Gerndt
, Thomas Noll
:
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. 37-54 - John Törnblom
, Simin Nadjm-Tehrani:
Formal Verification of Random Forests in Safety-Critical Applications. 55-71
Analysis of Timed Systems
- Étienne André
:
A Benchmark Library for Parametric Timed Model Checking. 75-83 - Qurat Ul Ain, Osman Hasan:
Formal Timing Analysis of Digital Circuits. 84-100 - Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
:
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. 101-118
Semantics and Analysis Methods
- Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler:
Refinement of Statecharts with Run-to-Completion Semantics. 121-138 - Nils Timm, Stefan Gruner:
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. 139-157
Model Transformation
- William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein:
Model Transformation with Triple Graph Grammars and Non-terminal Symbols. 161-177
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.