Verification of large-scale distributed database systems in the NEOPPOD project - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Verification of large-scale distributed database systems in the NEOPPOD project

Olivier Bertrand
Aurélien Calonne
  • Fonction : Auteur
Christine Choppy
  • Fonction : Auteur
Silien Hong
  • Fonction : Auteur
  • PersonId : 980152
Modélisation et Vérification
Kaïs Klai
Fabrice Kordon
Modélisation et Vérification
CV
Yoshinori Okuji
  • Fonction : Auteur
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
Modélisation et Vérification
Laure Petrucci
Jean-Paul Smets
  • Fonction : Auteur

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01298277

Soumis le : mardi 5 avril 2016-16:56:16

Dernière modification le : mercredi 15 mai 2024-16:54:32

Fichier non déposé

Dates et versions

hal-01298277 , version 1 (05-04-2016)

Identifiants

  • HAL Id : hal-01298277 , version 1

Citer

Olivier Bertrand, Aurélien Calonne, Christine Choppy, Silien Hong, Kaïs Klai, et al.. Verification of large-scale distributed database systems in the NEOPPOD project. Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Jun 2009, Paris, France. pp.315-316. ⟨hal-01298277⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More