Autor der Publikation

Interchange Formats for Hybrid Systems: Review and Proposal.

, , , und . HSCC, Volume 3414 von Lecture Notes in Computer Science, Seite 526-541. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Case Study in Embedded Systems Design: An Engine Control Unit., , , , , und . Des. Autom. Embed. Syst., 6 (1): 71-88 (2000)A case study in computer-aided co-design of embedded controllers., , , , , , , und . Des. Autom. Embed. Syst., 1 (1-2): 51-67 (1996)Irredundant sequential machines via optimal logic synthesis., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 8-18 (1990)DELIGHT.SPICE: an optimization-based system for the design of integrated circuits., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (4): 501-519 (1988)Verification of Nyquist data converters using behavioral simulation., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 14 (4): 493-502 (1995)Automated design management using traces., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (8): 1077-1095 (1993)Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems., , und . MEMOCODE, Seite 180-190. ACM / IEEE, (2023)Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks., , und . EMSOFT, Seite 183-186. ACM, (2005)Task generation and compile-time scheduling for mixed data-control embedded software., , , , , , , und . DAC, Seite 489-494. ACM, (2000)Formal Verification of Embedded Systems based on CFSM Networks., , , , und . DAC, Seite 568-571. ACM Press, (1996)