Auteur Claude Jard
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
texte imprimé
Claude Jard, Éditeur scientifique ; Olivier Roux, Éditeur scientifique | London : ISTE éditions | 2010The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal meth[...]
