A verified specification of a hierarchical operating system.

Authors:
Ashok Raj Saxena
Affiliations:
-
Venue:
A verified specification of a hierarchical operating system.
Year:
1976

Citing 0
Cited 3

Kit: A Study in Operating System Verification

IEEE Transactions on Software Engineering
Survey of recent operating systems research, designs and implementations

ACM SIGOPS Operating Systems Review
A technique for the architectural implementation of software subsystems

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract