Toward formal methods oecumenism?

Fabrice Kordon; Laure Petrucci

doi:10.1109/MDSO.2006.47

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

Toward formal methods oecumenism?

(1) , (2)

1
2

Fabrice Kordon

Fonction : Auteur
PersonId : 9774
IdHAL : fabrice-kordon
ORCID : 0000-0002-5626-828X
IdRef : 074605283

Modélisation et Vérification

CV

Laure Petrucci

Fonction : Auteur
PersonId : 178715
IdHAL : laure-petrucci
ORCID : 0000-0003-3154-5268
IdRef : 110965787

Laboratoire d'Informatique de Paris-Nord

Domaines

Autre [cs.OH]

Laure Petrucci : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00084199

Soumis le : jeudi 6 juillet 2006-02:02:35

Dernière modification le : vendredi 29 novembre 2024-03:29:33

Dates et versions

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

Identifiants

HAL Id : hal-00084199 , version 1
DOI : 10.1109/MDSO.2006.47

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 UPMC CNRS OCA LIPN LIP6 GALILE SORBONNE-UNIVERSITE SU-SCIENCES SORBONNE-PARIS-NORD ACT-R

166 Consultations

0 Téléchargements

Toward formal methods oecumenism?

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager