Communication Dans Un Congrès
Année : 2009
Michel Occello : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00382569
Soumis le : vendredi 8 mai 2009-20:08:28
Dernière modification le : jeudi 4 avril 2024-21:24:41
Dates et versions
Identifiants
- HAL Id : hal-00382569 , version 1
Citer
Ha Hoang Thi Thanh, Michel Occello. Applying theory of types to formal specification of recursive multiagent systems. IEEE-RIVF International Conference on Computing and Telecommunication Technologies, 2009, Danang, Vietnam. ⟨hal-00382569⟩
34
Consultations
0
Téléchargements