Formal Methods for Aerospace Systems : Achievements and Challenges

Singapore / Springer Singapore (2017) [Buchbeitrag]

Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings / edited by Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu
Seite(n): 133-159

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Bozzano, Marco
Bruintjes, Harold Yorick
Cimatti, Alessandro
Katoen, Joost-Pieter
Noll, Thomas

Weitere Autorinnen und Autoren

Tonetta, Stefano

Identifikationsnummern