From Software Engineering to Formal Methods and Tools, and Back
Book title Buchtitel
From Software Engineering to Formal Methods and Tools, and Back
Editor Herausgeber_in
Publisher Herausgeber
Springer Nature Switzerland AG 2021
Series Schriftenreihe
Lecture Notes in Computer Science
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Askarpour, Mehrnoosh ; Ghezzi, Carlo ; Mandrioli, Dino ; Rossi, Matteo ; Tsigkanos, Christos ; ter Beek, Maurice H. ; Fantechi, Alessandro ; Semini, Laura | Formal Methods in Designing Critical Cyber-Physical Systems | Buchbeitrag Book Contribution  | 2019 |