Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs - TEL - Thèses en ligne
Thèse Année : 1995

Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs

David Delfieu
Laboratoire d'analyse et d'architecture des systèmes

Résumé

Pas de résumé en anglais

Domaines

Réseaux et télécommunications [cs.NI] Automatique / Robotique
Fichier principal
Vignette du fichier
Delfieu.pdf (6.15 Mo) Télécharger le fichier

Emilie Marchand  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-00142512

Soumis le : jeudi 19 avril 2007-14:53:28

Dernière modification le : lundi 20 novembre 2023-11:44:17

Archivage à long terme le : samedi 14 mai 2011-04:02:53

Télécharger pour visualiser

Dates et versions

tel-00142512 , version 1 (19-04-2007)

Identifiants

  • HAL Id : tel-00142512 , version 1

Citer

David Delfieu. Expression et validation de contraintes temporelles pour la spécification des systèmes réactifs. Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1995. Français. ⟨NNT : ⟩. ⟨tel-00142512⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS INSA-TOULOUSE LAAS LAAS-TEL UT1-CAPITOLE TDS-MACS TEL-INSATOULOUSE INSA-GROUPE TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
185 Consultations
97 Téléchargements

Partager

More