Article Dans Une Revue IEEE Distributed Systems Online Année : 2006

Toward formal methods oecumenism?

Domaines

Fichier non déposé

Dates et versions

hal-00084199 , version 1 (06-07-2006)

Identifiants

Citer

Fabrice Kordon, Laure Petrucci. Toward formal methods oecumenism?. IEEE Distributed Systems Online, 2006, 7 (7), pp. 2. ⟨10.1109/MDSO.2006.47⟩. ⟨hal-00084199⟩
264 Consultations
0 Téléchargements

Altmetric

Partager

  • More