Rushby John

Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance

Rushby John, R. John, 1999 .

Analyzing Tabular and State-Transition Requirements Specifications in PVS

Shankar Natarajan, Rushby John, Owre Sam, 1997 .

Formal Methods and Digital Systems Validation for Airborne Systems

Rushby John, R. John, 2003 .

Model-Based Reconfiguration: Diagnosis and Recovery

Rushby John, Crow Judith, 1994 .