Proving Event Ordering Properties for Information Systems. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Proving Event Ordering Properties for Information Systems.

Marc Frappier
  • Fonction : Auteur
  • PersonId : 856058
Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
Régine Laleau
Centre d'études et de recherche en informatique et communications

Résumé

no abstract

Domaines

Informatique [cs]

Régine Laleau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01224673

Soumis le : mercredi 4 novembre 2015-22:50:53

Dernière modification le : vendredi 5 août 2022-14:54:00

Fichier non déposé

Dates et versions

hal-01224673 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224673 , version 1

Citer

Marc Frappier, Régine Laleau. Proving Event Ordering Properties for Information Systems.. ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, 2003, Unknown, Unknown Region. pp.421-436. ⟨hal-01224673⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM
9 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More