Documents publiés en "2013"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Aller à : A

Nombre de documents: 1

A

Al-Akhras, S. I., Tahar, S., Nicolescu, G., Langevin, M., & Paulin, P. (décembre 2012). On the verification of a WiMax design using symbolic simulation [Communication écrite]. 4th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia. Publié dans Electronic Proceedings in Theoretical Computer Science, 122. Disponible

Liste produite: Fri May 3 02:00:00 2024 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0