Documents publiés en "2004"

Calvez, J.-P., & Nicolescu, G. (2004). Spécification et modélisation des systèmes logiciels/matériels. Dans Jerraya, A.-A., & Nicolescu, G. (édit.), Spécification et validation des systèmes monopuces (p. 19-56). Lien externe

Jerraya, A.-A., & Nicolescu, G. (2004). Méthodes de validation pour systèmes hétérogènes. Dans Spécification et validation des systèmes monopuces (p. 57-100). Lien externe

Jerraya, A.-A., Nicolescu, G., & Yoo, S. (2004). Modèle de simulation pour logiciel et systèmes d'exploitation enfouis. Dans Spécification et validation des systèmes monopuces (p. 101-120). Lien externe