Recherche

VDS

Verification & Modeling of Digital Systems

Recherche

Mots clés :
Type de publications :
Journal art. Conference art. Chapitre de livre
Livres Thèses Brevets Rapports Tout
Date:
  année
 

2012 - Chapitre de livre (1 résultats)

Property-Based Dynamic Verification and Test

Auteur(s) : D. Borrione, K. Morin-Allory, Y. Oddos

Doc. Source: Design Technology for Heterogeneous Embedded Systems

Publisher : Springer

Pages : 157-176

> abstract