How to Verify Dynamic Properties of Information Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2004

How to Verify Dynamic Properties of Information Systems

Neil Evans
  • Fonction : Auteur
Helen Treharne
  • Fonction : Auteur
Department of Computer Science [Guildford]
Régine Laleau
Laboratoire d'Algorithmique Complexité et Logique
Marc Frappier
  • Fonction : Auteur
  • PersonId : 856058
Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]

Résumé

no abstract

Domaines

Informatique [cs]

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

https://hal.science/hal-01224670

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

Dernière modification le : vendredi 24 mars 2023-14:53:01

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01224670 , version 1

Citer

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier. How to Verify Dynamic Properties of Information Systems. 2nd IEEE International Conference on Software Engineering and Formal Methods, 2004, Beijing, China. pp.416--425. ⟨hal-01224670⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
48 Consultations
0 Téléchargements

Partager

More