Classification schemes to aid in the analysis of real-time systems.

Paul Z. Kolano, Richard A. Kemmerer

Browse the full ISSTA paper archive.