Synchronous equivalence
by Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli
Embedded computer systemsFormal methods (Computer science)Computer science
Writing a summary for young readers…
For young readers
Book data: Open Library
by Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli
Book data: Open Library