Proving correctness for a real time operating system

J.R. Taylor

    Research output: Book/ReportReport

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

    Keywords

    • Risø-M-1708

    Cite this