Synchronous equivalence : formal methods for embedded systems /

Bibliographic Details
Main Author:	Hsieh, Harry, 1967-
Other Authors:	Balarin, Felice, Sangiovanni-Vincentelli, Alberto
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [2001]
Subjects:	Embedded computer systems. Formal methods (Computer science)

by Hsieh, Harry
Published 2001

Connect to the full text of this electronic book

eBook