Yazar: Brigitte Rozoy

Destek

1 Ebooks tarafından 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
İngilizce
DRM
€43.51