Engineering Safe and Secure Cyber-Physical Systems
Subtitle: The Specification PEARL Approach
Publisher: Springer International Publishing AG; Springer
Published: 2016
Language: eng
Number of pages: 128
ISBN-13: 9783319289038
Subjects: Programming languages (electronic computers)