A formal method for enterprise interoperability: a case study in a Major Health Informatics Information System

Michael Johnson, Christopher N G Dampney

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution

Original language	English
Title of host publication	ICSSEA 2000 Proceedings
Editors	J. Rault
Place of Publication	Paris
Publisher	CNAM
Pages	1-6
Number of pages	6
Publication status	Published - 2000
Event	International Conference on Software and Systems Engineering and their Applications - Paris Duration: 5 Dec 2000 → 8 Dec 2000

Conference	International Conference on Software and Systems Engineering and their Applications
City	Paris
Period	5/12/00 → 8/12/00

Cite this

@inproceedings{5a2bc1b7e5cc4c0e8d972fb13af1cc57,

title = "A formal method for enterprise interoperability: a case study in a Major Health Informatics Information System",

author = "Michael Johnson and Dampney, {Christopher N G}",

year = "2000",

language = "English",

pages = "1--6",

editor = "J. Rault",

booktitle = "ICSSEA 2000 Proceedings",

publisher = "CNAM",

note = "International Conference on Software and Systems Engineering and their Applications ; Conference date: 05-12-2000 Through 08-12-2000",

}

TY - GEN

T1 - A formal method for enterprise interoperability

T2 - International Conference on Software and Systems Engineering and their Applications

AU - Johnson, Michael

AU - Dampney, Christopher N G

PY - 2000

Y1 - 2000

M3 - Conference proceeding contribution

SP - 1

EP - 6

BT - ICSSEA 2000 Proceedings

A2 - Rault, J.

PB - CNAM

CY - Paris

Y2 - 5 December 2000 through 8 December 2000

ER -