Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temp-réel décrits en RT-LOTOS

Description

Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 89 réf.

Links & Downloads

1. http://ethesis.inp-toulouse.fr/archive/00000460

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/493717545
Date	January 2007
Creators	Sadani, Tarek Courtiat, Jean-Pierre Saqui-Sannes, Pierre de.
Publisher	Toulouse : INP Toulouse,
Source Sets	OCLC
Language	French
Detected Language	French