Skip to Main content Skip to Navigation
Conference papers

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]
UdeS - Département d'informatique [Sherbrooke]
Abstract : no abstract
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01224670
Contributor : Régine Laleau Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2015 - 10:50:51 PM
Last modification on : Friday, March 11, 2022 - 3:08:08 PM

Identifiers

  • HAL Id : hal-01224670, version 1

Collections

CNRS | LACL | UPEC-UPEM | UPEC

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. pp.416--425. ⟨hal-01224670⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

33