On the Formal Verification of Middleware Behavioral Properties - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues
  • Fonction : Auteur
  • PersonId : 1004005
Modélisation et Vérification
Yann Thierry-Mieg
Modélisation et Vérification
Fabrice Kordon
Modélisation et Vérification
CV
Laurent Pautet
Souheib Baarir
Modélisation et Vérification
Thomas Vergnaud
  • Fonction : Auteur
  • PersonId : 1004198
Modélisation et Vérification

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01520379

Soumis le : mercredi 10 mai 2017-14:32:26

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-01520379 , version 1 (10-05-2017)

Identifiants

  • HAL Id : hal-01520379 , version 1

Citer

Jérôme Hugues, Yann Thierry-Mieg, Fabrice Kordon, Laurent Pautet, Souheib Baarir, et al.. On the Formal Verification of Middleware Behavioral Properties. 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS '04), Sep 2004, Linz, Austria. pp.139-157. ⟨hal-01520379⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
71 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More