Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesis of software programs for embedded control applications., , , , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (6): 834-849 (1999)Rapid-Prototyping of Embedded Systems via Reprogrammable Devices., , , , , and . RSP, page 133-139. IEEE Computer Society, (1996)Hardware-software codesign of embedded systems., , , , , and . IEEE Micro, 14 (4): 26-36 (1994)A case study in computer-aided codesign of embedded controllers., , , , , , , and . CODES, page 220-224. IEEE Computer Society, (1994)Formal Verification of Embedded Systems based on CFSM Networks., , , , and . DAC, page 568-571. ACM Press, (1996)A Case Study in Embedded Systems Design: An Engine Control Unit., , , , , and . Des. Autom. Embed. Syst., 6 (1): 71-88 (2000)A case study in computer-aided co-design of embedded controllers., , , , , , , and . Des. Autom. Embed. Syst., 1 (1-2): 51-67 (1996)Synthesis of Software Programs for Embedded Control Applications., , , , , , , and . DAC, page 587-592. ACM Press, (1995)A Case Study in Embedded System Design: An Engine Control Unit., , , , , , and . DAC, page 804-807. ACM Press, (1998)Rapid-Prototyping of Embedded Systems via Reprogrammable Devices., , , , , , and . Des. Autom. Embed. Syst., 3 (2-3): 149-161 (1998)