Browse by Person (creator, editor, contributor, etc.)
Number of items: 11.
Schneider, S.A. and Bryans, J.W. and Davies, J.W.
A Failures Semantics for ET-LOTOS.
, Presented at the COST 247 - WG 6.1 working group meeting in Brighton
Bryans, J.W. and Davies, J.W. and Schneider, S.A.
Real-time CSP and ET-LOTOS.
Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton
The full text of this publication is not available from this repository.
Conference or workshop item
Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John
Specification and Analysis of Automata-based Designs.
In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds.
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings.
Lecture Notes in Comuter Science, 1945.