Yao Qi, Raja Das, et al.
ISSTA 2009
Paper
Preserving liveness: Comments on "safety and liveness from a methodological point of view"
Related
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Conference paper
True 3-D displays for avionics and mission crewstations
Elizabeth A. Sholler, Frederick M. Meyer, et al.
SPIE AeroSense 1997