( en | de | ru )

 

Disambiguierung von "Doucet, Frederic"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reactivity in SystemC Transaction-Level Models.

, , , , und . Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 34-50. Springer, (2007)

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.

Friedhelm Doucet

Diane Doucet-Rosenstein

Diane Doucet-Rosenstein

Jean-Baptiste Doucet

Franziska Rohr-Doucet

 

Weitere Publikationen von Autoren mit dem selben Namen

Typing abstractions and management in a component framework., , und . ASP-DAC, Seite 115-122. ACM, (2003)Polychrony for Formal Refinement-Checking in a System-Level Design Methodology., , , , und . ACSD, Seite 9-19. IEEE Computer Society, (2003)Polychrony for Refinement-Based Design., , , , und . DATE, Seite 11172-11173. IEEE Computer Society, (2003)YAML: A Tool for Hardware Design Visualization and Capture., , , , , und . ISSS, Seite 9-17. ACM / IEEE Computer Society, (2000)Structured Component Composition Frameworks for Embedded System Design., , und . HiPC, Volume 2552 von Lecture Notes in Computer Science, Seite 663-678. Springer, (2002)Reactivity in SystemC Transaction-Level Models., , , , und . Haifa Verification Conference, Volume 4899 von Lecture Notes in Computer Science, Seite 34-50. Springer, (2007)BALBOA: a component-based design environment for system models., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 22 (12): 1597-1612 (2003)A methodology to take credit for high-level verification during RTL verification., und . Formal Methods Syst. Des., 51 (2): 395-418 (2017)An Environment for Dynamic Component Composition for Efficient Co-Design ., , , und . DATE, Seite 736-743. IEEE Computer Society, (2002)Introspection in System-Level Language Frameworks: Meta-Level vs. Integrated., , und . DATE, Seite 10382-10387. IEEE Computer Society, (2003)