skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Rigorous design of cyber-physical systems

Bliudze, Simon ; Furic, Sébastien ; Sifakis, Joseph ; Viel, Antoine

Software & Systems Modeling, 2019, Vol.18(3), pp.1613-1636 [Tạp chí có phản biện]

ISSN: 1619-1366 ; E-ISSN: 1619-1374 ; DOI: 10.1007/s10270-017-0642-5

Toàn văn sẵn có

Trích dẫn Trích dẫn bởi

Đang tìm Cơ sở dữ liệu bên ngoài...