How to Verify Dynamic Properties of Information Systems

Neil Evans Helen Treharne 1 Régine Laleau 2 Marc Frappier 3
1 Department of Computer Science [Guildford]
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
3 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
Département d'informatique [Sherbrooke]
Abstract : no abstract
Type de document :
Communication dans un congrès
2nd IEEE International Conference on Software Engineering and Formal Methods, 2004, Beijing, China. IEEE Computer Society Press, pp.416--425, 2004
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01224670
Contributeur : Régine Laleau <>
Soumis le : mercredi 4 novembre 2015 - 22:50:51
Dernière modification le : vendredi 15 février 2019 - 16:32:02

Identifiants

  • HAL Id : hal-01224670, version 1

Collections

LACL | UPEC-UPEM

Citation

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. IEEE Computer Society Press, pp.416--425, 2004. 〈hal-01224670〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

48

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD