Formal Methods for Aerospace Systems : Achievements and Challenges

Bozzano, Marco; Bruintjes, Harold Yorick; Cimatti, Alessandro; Katoen, Joost-Pieter; Noll, Thomas (Corresponding author); Tonetta, Stefano

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

Identifikationsnummern