Research

VDS

Verification & Modeling of Digital Systems

Research

Keywords:
Type of Publications:
Journal art. Conference art. Book chapters
Books PhD theses Patents Reports All
Date:
  year
 

2012 - Book chapters (1 results)

Property-Based Dynamic Verification and Test

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

Doc. Source: Design Technology for Heterogeneous Embedded Systems

Publisher: Springer

Pages: 157-176

> abstract