Tác giả: Brigitte Rozoy

Ủng hộ

1 Ebooks bởi Brigitte Rozoy

Franck Cassez & Claude Jard: Modeling and Verification of Parallel Processes
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subjec …
PDF
Anh
DRM
€43.51