John Rushby has written:
'Formal methods and their role in digital systems validation for airborne systems' -- subject(s): Computer software, Validation, Verification
'Formal verification of an oral messages algorithm for interactive consistency' -- subject(s): Algorithms
'Formal methods and digital systems validation for airborne systems' -- subject(s): Computer networks
'Partitioning in avionics architectures' -- subject(s): Architecture (Computers), Avionics, Automatic flight control, Computer information security, Distributed processing, Fault tolerance
'Quality measures and assurance for AI software' -- subject(s): Artificial Intelligence
J. Rushby has written: 'Study geography'
Pamela RUSHBY has written: 'All the flavours in the world'
Nellie Phyllida Rushby has written: 'Myself when young'
Jade rushby is my sister
Tom Rushby was born in 1880.
Tom Rushby died in 1962.
Kevin Rushby has written: 'Eating the Flowers of Paradise' -- subject- s -: Description and travel, Drug addiction, Qat, Social life and customs, Travel, Khat 'Chasing the Mountain of Light' -- subject- s -: Description and travel, India, Journeys, Koh-i-noor - Diamond -, Travel, Koh-i-Noor - Diamond -
John Stoddern has written: '\\'
John Richardson has written: '\\'
John Dunlap has written: '\\'
John Elsas has written: 'John Elsas'
John Bicknell has written: 'John Bicknell'