Login / Signup

Safety, Dependability and Performance Analysis of Extended AADL Models.

Marco BozzanoAlessandro CimattiJoost-Pieter KatoenViet Yen NguyenThomas NollMarco Roveri
Published in: Comput. J. (2011)
Keyphrases