Monter d'un niveau |
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