Verification of real time properties in fiacre language
Pas de résumés en français
Main Author: | |
---|---|
Language: | English |
Published: |
INSA de Toulouse
2012
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00782554 http://tel.archives-ouvertes.fr/docs/00/78/25/54/PDF/manuscrit_these_Nouha_ABID.pdf |