Proving correctness for a real time operating system

J.R. Taylor

    Research output: Book/ReportReportResearch

    Original languageEnglish
    Number of pages17
    Publication statusPublished - 1974
    SeriesRisø-M
    Number1708
    ISSN0418-6435

    Keywords

    • Risø-M-1708

    Cite this

    Taylor, J. R. (1974). Proving correctness for a real time operating system. Risø-M, No. 1708