Génération de cas de test pour les systèmes temps réel modélisés par des automates à entrées sorties temporisées

Description

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Links & Downloads

1. http://hdl.handle.net/1866/30793

Tags

Automates temporisés

Systèmes temps réel encapsulés

Modèle de fautes

Couverture de fautes

Additional Fields

Identifer	oai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/30793
Date	January 2001
Creators	En-Nouaary, Abdeslam
Contributors	Dssouli, Rachida, Khendek, Ferhat
Source Sets	Université de Montréal
Detected Language	French
Type	other, autre
Format	application/pdf