Formal Design and Verification of a Reliable Computing Platform for Real-Time Control. Phase 1
Subtitle: Results
Publisher: Independently Published
Published: 2018
Language: eng
ISBN-13: 9781730768811