Công bố khoa học
Công cụ trích dẫn
Công bố khoa học
Trích dẫn
Tạp chí khoa học
Cơ quan đơn vị
Quản lý tài khoản
Danh mục đã lưu
Đăng xuất
Association for Computing Machinery (ACM)
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Validate, simulate, and implement ARINC653 systems using the AADL
Association for Computing Machinery (ACM)
-
Tập 29 Số 3
- Trang 31-44
- 2009
Julien 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
Tổng số: 1
1