Génération automatique d'une spécification formelle à partir de scénarios temps-réels

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/30821

Tags

Intégration de scénarios

Ingénierie des exigences

Système temps-réel

Automate temporisé

Additional Fields

Identifer	oai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/30821
Date	January 2002
Creators	Salah, Aziz
Contributors	Dssouli, Rachida, Lapalme, Guy
Source Sets	Université de Montréal
Language	French
Detected Language	French
Type	other, autre
Format	application/pdf