Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni. Hardware/software synthesis of formal specifications in codesign of embedded systems. ACM Trans. Design Autom. Electr. Syst., 5(3):399-432, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.