Documents publiés en "2009"

Département de génie informatique et génie logiciel

Boucheneb, H., & Barkaoui, K. (juillet 2009). On combining the ready sets and the covering steps methods [Communication écrite]. 3rd International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2009). Non disponible