QSpace at Queen's University >
School of Computing. For more information about the school, click here.
State Complexity of Nondeterministic Finite Automata with Limited Nondeterminism
Embedding Security Monitors in Software Components
Moldable Focus and Context Displays
Clone Detection In Matlab Stateflow Models
Generating patient-specific 3D models using a pointing device