2 电子书 Ralf Pinger
Thierry Lecomte & Ralf Pinger: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the refereed proceedings of the First International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2016, held in Paris, France, in June 2016.The 15 …
PDF
英语
DRM
€57.59
Ralf Pinger & Marielle Stoelinga: Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented …
PDF
英语
DRM
€51.42
