Abstract State Machines
Subtitle: A Method for High-Level System Design and Analysis
Publisher: Springer Berlin / Heidelberg
Published: 2013
Language: eng
ISBN-13: 9783642621161
Subjects: System design; Computer software, development; Embedded computer systems