N°Spécial De Revue/Special Issue
International Journal of Critical Computer-Based Systems
Année : 2012
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01270061
Soumis le : vendredi 5 février 2016-15:53:07
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01270061 , version 1
Citer
Kamel Barkaoui, Bruno Monsuez, Denis Poitrenaud. Special Issue on Verification and Evaluation of Computer and Communication Systems - Part II. International Journal of Critical Computer-Based Systems, 3, 2012. ⟨hal-01270061⟩
Collections
122
Consultations
0
Téléchargements