Validate, simulate, and implement ARINC653 systems using the AADLAssociation for Computing Machinery (ACM)· Tập 29 Số 3 ·Trang 31-44·2009Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerbœuf, Frank Singhoff, Fabrice Kordon 12 Đi đến bài báo Trích dẫn Lưu lại