BENDIAF, Messaoud (2018) SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE. Doctoral thesis, UNIVERSITE MOHAMED KHIDER BISKRA.