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

David Delfieu

Thèse Année : 1995

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

(1)

David Delfieu

Fonction : Auteur
PersonId : 4510
IdHAL : david-delfieu
IdRef : 152847553

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

Résumé

Pas de résumé en anglais

Mots clés

Système temps réel Spécification Modélisation Vérification Contrainte Identification Opérateur Grammaire Analyseur syntaxique Théorie langage Système événement discret Contrainte temporelle

Domaines

Réseaux et télécommunications [cs.NI] Automatique / Robotique

Fichier principal

Delfieu.pdf (6.15 Mo)

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

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

173 Consultations

72 Téléchargements

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

Résumé

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager