Article Dans Une Revue
Lecture Notes in Computer Science
Année : 2005
Archive ouverte univOAK : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02002908
Soumis le : jeudi 31 janvier 2019-23:03:06
Dernière modification le : samedi 22 avril 2023-17:20:12
Dates et versions
Identifiants
- HAL Id : hal-02002908 , version 1
Citer
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion. Using process algebra to validate behavioral aspects of object-oriented models. Lecture Notes in Computer Science, 2005. ⟨hal-02002908⟩
Collections
10
Consultations
0
Téléchargements