Ashok R. Saxena

According to our database, Ashok R. Saxena authored at least 4 papers between 1975 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Database as an Application Integration Platform (Abstract).

Ashok R. Saxena

Proceedings of the 15th International Conference on Data Engineering, 1999

1976

Verification of a Monitor Specification.

Ashok R. Saxena, Thomas H. Bredt

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

A structured specification of a hierarchical operating system.

Ashok R. Saxena, Thomas H. Bredt

Proceedings of the International Conference on Reliable Software 1975, 1975

On attaining reliable software for a secure operating system.

Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena

Proceedings of the International Conference on Reliable Software 1975, 1975