( en | de | ru )

 

Disambiguierung von "Fummi, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Vacuity analysis for property qualification by mutation of checkers.

, , und . DATE, Seite 478-483. IEEE Computer Society, (2010)

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 Lehmann

Franco Nüske

Franco Lasagni

Franco Brajevic

 

Weitere Publikationen von Autoren mit dem selben Namen

Test Generation for Stuck-at and Gate-Delay Faults in Sequential Circuits: A Mixed Functional/Structural Method., , und . DFT, Seite 254-262. IEEE Computer Society, (1994)Model-driven design and validation of embedded software., , , , , , und . AST, Seite 98-104. ACM, (2011)An error simulation based approach to measure error coverage of formal properties., , , , , und . ACM Great Lakes Symposium on VLSI, Seite 53-58. ACM, (2002)Flexible energy-aware simulation of heterogenous wireless sensor networks., , , und . DATE, Seite 1638-1643. IEEE, (2009)On the use of GP-GPUs for accelerating compute-intensive EDA applications., , , , , , und . DATE, Seite 1357-1366. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Vacuity analysis for property qualification by mutation of checkers., , und . DATE, Seite 478-483. IEEE Computer Society, (2010)Cyber-Physical Systems Integration in a Production Line Simulator., , und . VLSI-SoC, Seite 237-242. IEEE, (2018)On the automatic generation of GPU-oriented software applications from RTL IPs., , und . CODES+ISSS, Seite 12:1-12:10. IEEE, (2013)Languages and Formalisms to Enable EDA Techniques in the Context of Industry 4.0., , , und . FDL, Seite 1-4. IEEE, (2019)Late Breaking Results: Enabling Containerized Computing and Orchestration of ROS-based Robotic SW Applications on Cloud-Server-Edge Architectures., , , , , und . DAC, Seite 1-2. IEEE, (2020)