Formal System Verification
Subtitle: State-Of the-Art and Future Trends
Publisher: Springer
Published: 2017
Language: eng
Number of pages: 182
ISBN-13: 9783319576831
Subjects: Embedded computer systems; Ubiquitous computing