Proving correctness for a real time operating system

J.R. Taylor

    Research output: Book/Report › Report › Research

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

    Keywords

    • Risø-M-1708

    SFX availability

    Full text

    Cite this