Ashok R. Saxena

Publication Activity (10 Years)

Years Active: 1975-1999
Publications (10 Years): 0

Publications

Ashok R. Saxena
Database as an Application Integration Platform (Abstract). ICDE (1999)
Ashok R. Saxena, Thomas H. Bredt
Verification of a Monitor Specification. ICSE (1976)
Ashok R. Saxena, Thomas H. Bredt
A structured specification of a hierarchical operating system. Reliable Software (1975)
Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena
On attaining reliable software for a secure operating system. Reliable Software (1975)