Showing 1 - 7 results of 7 for search 'O'Halloran, C', query time: 0.02s
Refine Results
-
1
Verifying critical cyber-physical systems after deployment by O'Halloran, C
Published 2015Journal article -
2
Automated verification of code automatically generated from Simulink (R) by O'Halloran, C
Published 2013Journal article -
3
From Control Law Diagrams to Ada via Circus by Cavalcanti, A, Clayton, P, O'Halloran, C
Published 2011Journal article -
4
From control law diagrams to Ada via Circus by Cavalcanti, A, Clayton, P, O'Halloran, C
Published 2011Journal article -
5
Test-data generation for control coverage by proof by Cavalcanti, A, King, S, O'Halloran, C, Woodcock, J
Published 2014Journal article -
6
Test−data Generation for Control Coverage by Proof by Cavalcanti, A, King, S, O'Halloran, C, Woodcock, J
Published 2013Journal article -
7
A super industrial application of PSGraph by Lin, Y, Grov, G, O'Halloran, C, G, P
Published 2016Conference item