Roster and Air Traffic Controller's Situation Awareness. | 0 | 0.34 | 2019 |
Wearable technology-based metrics for predicting operator performance during cardiac catheterisation. | 0 | 0.34 | 2019 |
Exploring Fair Exchange Protocols Using Specification Animation | 16 | 0.99 | 2000 |
The Cogito Development System | 3 | 0.93 | 1997 |
A formal method for building concurrent real-time software | 10 | 1.97 | 1997 |
Integrating Real-Time Scheduling Theory and Program Refinement | 16 | 0.85 | 1996 |
Interactively Verifying a Simple Real-time Scheduler | 3 | 0.81 | 1995 |
Cogito: A Methodology And System For Formal Software Development | 10 | 1.00 | 1995 |
A Layered Real-Time Specification of a RISC Processor | 2 | 0.55 | 1994 |
The Cogito methodology and system | 2 | 0.55 | 1994 |
Functional Verification of Hard Real-Time Programs | 2 | 0.67 | 1992 |
An extensional fixed-point semantics for nondeterministic data flow | 2 | 0.46 | 1991 |