Formal Methods for Aerospace Systems : Achievements and Challenges

Singapore / Springer Singapore (2017) [Contribution to a book]

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
Page(s): 133-159


Selected Authors

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

Other Authors

Tonetta, Stefano