Towards the mechanical verification of moving block signalling systems
Main Author: | Simpson, A |
---|---|
Format: | Report |
Published: |
School of Computing and Mathematical Sciences‚ Oxford Brookes University
1999
|
Similar Items
-
Verification of Building Blocks for Asynchronous Circuits
by: Freek Verbeek, et al.
Published: (2013-04-01) -
The Mechanical Verification of Solid State Interlocking Geographic Data
by: Simpson, A, et al.
Published: (1997) -
The Mechanical Verification of Solid State Interlocking Geographic Data
by: Simpson, A, et al.
Published: (1997) -
Face verification system on digital signal processor /
by: Yap, Wooi Hen, 1976-, et al.
Published: (2008) -
MICROBIOME AND DISORDERS OF THE SOCIAL BRAIN: MOVING TOWARDS MECHANISMS
by: John Cryan
Published: (2023-10-01)