Specifying interactive systems in object-Z and CSP

Maccoll, I. and Carrington, D. A. (1999). Specifying interactive systems in object-Z and CSP. In: K. Araki, A. Galloway and K.Taguchi, Proceedings of the 1st International Conference on Integrated Formal Methods. IFM'99, York, (335-352). 28-29 Jun 1999.


Author Maccoll, I.
Carrington, D. A.
Title of paper Specifying interactive systems in object-Z and CSP
Conference name IFM'99
Conference location York
Conference dates 28-29 Jun 1999
Proceedings title Proceedings of the 1st International Conference on Integrated Formal Methods
Place of Publication London, UK
Publisher Springer-Verlag
Publication Year 1999
Sub-type Fully published paper
ISBN 1852331070
Editor K. Araki
A. Galloway
K.Taguchi
Start page 335
End page 352
Total pages 18
Collection year 1999
Language eng
Subjects E1
700102 Application tools and system utilities
280302 Software Engineering
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Fri, 06 Jun 2008, 16:32:45 EST