MADES: Embedded Systems Engineering Approach in the Avionics Domain
暂无分享,去创建一个
Rossi Matteo | Bagnato Alessandra | Sadovykh Andrey | Paige Richard | Kolovos Dimitrios | Baresi Luciano | Morzenti Angelo
[1] Matteo Pradella,et al. A Metric Encoding for Bounded Model Checking , 2009, FM.
[2] Ian Gray,et al. Exposing non-standard architectures to embedded software using compile-time virtualisation , 2009, CASES '09.