Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Communications in Computer and Information Science,
694 |
| Subjects: |
Table of Contents:
- Specification and verification
- Automotive and railway systems
- Circuits and cyber-physical systems
- Parametrized verification.