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 .
|
(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-SUPAERO (FRANCE) Other partners > Telecom ParisTech (FRANCE) French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE) |
| Laboratory name: | Département de Mathématiques, Informatique, Automatique - DMIA (Toulouse, France) - Modelisation et Architecture des Systèmes - MARS Laboratoire SoC (Systems on Chip) - LabSoc (Sophia Antipolis, France) |
| Statistics: | download |
| Deposited By: | Pierre de Saqui-Sannes |
| Deposited On: | 05 Mar 2009 09:15 |
Repository Staff Only: item control page
