Diagrams Refinement for the Design of Reactive Systems
Résumé
a completer
Article Dans Une Revue
Journal of Universal Computer Science
Année : 2000
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099265
Soumis le : mardi 26 septembre 2006-08:52:14
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00099265 , version 1
Citer
Dominique Cansell, Dominique Méry, Stephan Merz. Diagrams Refinement for the Design of Reactive Systems. Journal of Universal Computer Science, 2000, 7 (2), pp.159-174. ⟨inria-00099265⟩
Collections
65
Consultations
0
Téléchargements