External Links

    Journal: IEEE Trans. Software Eng.

    Volume 23, Issue 9

    537 -- 549Nam-Yong Lee, Charles R. Litecky. An Empirical Study of Software Reuse with Special Attention to Ada
    550 -- 571Riccardo Focardi, Roberto Gorrieri. The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
    572 -- 598Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer. Specification of Realtime Systems Using ASTRAL
    599 -- 600Tarek F. Abdelzaher, Kang G. Shin. Comment on A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems
    runs on