A. Rao

发表

A visual framework for formal systems development using interval temporal logic

Arun Chakrapani Rao, A. Rao, 2002 .

PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

Peter Miller, Antony Powell, Colin O'Halloran, 2017 .

A critical analysis of model-based formal verification efforts within the automotive industry

R. Peter Jones, Ross McMurran, Arun Chakrapani Rao, 2008 .