DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems
Résumé
no abstract
Article Dans Une Revue
Journal of Intelligent and Robotic Systems
Année : 2002
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479668
Soumis le : mardi 28 février 2017-20:57:48
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479668 , version 1
Citer
Jean-Luc Paillet, Norbert Giambiasi. DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems. Journal of Intelligent and Robotic Systems, 2002, 34, pp.27-81. ⟨hal-01479668⟩
57
Consultations
0
Téléchargements