( en | de | ru )

 

Disambiguierung von "Fummi, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Correct-by-construction generation of device drivers based on RTL testbenches.

, , , und . DATE, Seite 1500-1505. IEEE, (2009)

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.

Franco Kämmer

Franco Caldarone

Franco Nüske

Franco Nüske

Franco Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Introducing assume-guarantee contracts for verifying robotic applications: work-in-progress., , , und . CODES+ISSS, Seite 4. IEEE / ACM, (2018)Symbolic optimization of interacting controllers based onredundancy identification and removal., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (7): 760-772 (2000)A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 36 (10): 1702-1715 (2017)An extended-UIO-based method for protocol conformance testing., , und . J. Syst. Archit., 46 (3): 225-242 (2000)A design methodology for the correct specification of VLSI systems., , , , , und . Microprocess. Microprogramming, 38 (1-5): 563-570 (1993)A Remote Methodology for Embedded Systems Design and Validation., und . Des. Autom. Embed. Syst., 8 (2-3): 229-247 (2003)HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels., , , , und . Des. Autom. Embed. Syst., 16 (2): 115-135 (2012)Networked embedded system applications design driven by an abstract middleware environment., , und . DATE, Seite 1024-1029. IEEE, (2009)The role of mutation analysis for property qualification., , und . MEMOCODE, Seite 28-35. IEEE, (2009)Translation, Abstraction and Integration for Effective Smart System Design., , und . IEEE Trans. Computers, 68 (10): 1525-1538 (2019)