Term Validation of distributed hard real time applications

Abstract : We show that, when the modeled physical process is closed, finite automata and product operators are sufficient to valid distributed systems on an operational way.
Type de document :
Communication dans un congrès
Champarnaud Jean-Marc, Maurel Denis. CIAA 2002 : international conference on implementation and application of automata No7, Jul 2002, Tours, France. Springer Berlin / Heidelberg, 2608, pp.339--343, 2003, Lecture Notes in Computer Science. <10.1007/3-540-44977-9>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00345984
Contributeur : Gaëlle Largeteau-Skapin <>
Soumis le : mercredi 10 décembre 2008 - 17:26:30
Dernière modification le : lundi 21 mars 2016 - 17:28:48
Document(s) archivé(s) le : mardi 8 juin 2010 - 00:00:00

Fichier

Largeteau_Geniet.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Gaëlle Largeteau-Skapin, Dominique Geniet. Term Validation of distributed hard real time applications. Champarnaud Jean-Marc, Maurel Denis. CIAA 2002 : international conference on implementation and application of automata No7, Jul 2002, Tours, France. Springer Berlin / Heidelberg, 2608, pp.339--343, 2003, Lecture Notes in Computer Science. <10.1007/3-540-44977-9>. <hal-00345984>

Partager

Métriques

Consultations de
la notice

131

Téléchargements du document

41