Skip to Main content Skip to Navigation
Journal articles

Applying CSP|| B to 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 :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01224658
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:41 PM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM

Identifiers

  • HAL Id : hal-01224658, version 1

Collections

CNRS | LACL | UPEC-UPEM | UPEC

Citation

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier. Applying CSP|| B to Information Systems. Software and Systems Modeling, Springer Verlag, 2008, 7 (1), pp.85--102. ⟨hal-01224658⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

115