OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles

Fontan, Benjamin and Saqui-Sannes, Pierre de and Apvrille, Ludovic Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles. (2007) In: 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), 04-08 Juin 2007, Marrakech, Morocco .

[img]
Preview
(Document in French)

PDF (Author's version ) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
40kB

Official URL: http://www.notere-conf.org/

Abstract

To be provided.

Item Type:Conference or Workshop Item (Poster)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Telecom ParisTech (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes

Repository Staff Only: item control page