Výsledky vyhledávání - "Embedded system verification"

SMASHUP: a toolchain for unified verification of hardware/software co-designs

Autor: Lugou, Florian, Apvrille, Ludovic, Francillon, Aurélien

Publikováno v: Journal of Cryptographic Engineering, Special Section on Proofs, November 2016

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1093::4d9ffb87d82f128f2ebfd2794d5ab1e8
http://www.eurecom.fr/publication/5062

Zobrazit plný text záznamu

Distributed design and verification of System-on-chip architectures and embedded systems following the contract based methodology

Autor: FERRANTE, ORLANDO

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______249::04e24ebe3e2bdd6553fffd8274b4d32b
http://hdl.handle.net/10805/1413

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.