answersLogoWhite

0

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

User Avatar

Wiki User

10y ago

What else can I help you with?