Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 3.
2006
Gacek, Cristina and de Lemos, Rogério (2006) Architectural Description of Dependable Software Systems. In: Besnard, Denis and Gacek, Cristina and Jones, Cliff B., eds. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. Springer London, pp. 127-142. ISBN 978-1-84628-110-5. (doi:https://doi.org/10.1007/1-84628-111-3_7) (Full text available) |
2005
Welch, Peter H. and Barnes, Frederick R.M. (2005) Communicating Mobile Processes: introducing occam-pi. In: Abdallah, Ali E. and Jones, Cliff B. and Sanders, Jeff W., eds. 25 Years of CSP. Lecture Notes in Computer Science, 3525. Springer Verlag pp. 175-210. ISBN 3-540-25813-2. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
1997
Boiten, Eerke Albert and Bowman, Howard and Derrick, John and Steen, Maarten (1997) Viewpoint consistency in Z and LOTOS: A case study. In: Fitzgerald, John and Jones, Cliff B. and Lucas, Peter, eds. Lecture Notes in Computer Science. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe. Lecture Notes in Computer Science, 1313. Springer-Verlag Berlin pp. 644-664. ISBN 3-540-63533-5. (doi:https://doi.org/10.1007/3-540-63533-5_34) (Full text available) |