Formal Verification of Concurrent Embedded Software
Publisher: Books on Demand GmbH
Published: 2016
Language: eng
ISBN-13: 9783739241241