• Deploying Promela/Spin-based test generation on RTEMS: A progress report

    Simple item page

    Files

    Original bundle

    Now showing 1 - 1 of 1
    Thumbnail Image
    Name:
    17h25-17h50_June 6 2023_Deploying PROMELA_SPIN-based test generation on RTEMS a progress report_Trinity College Dublin_Andrew Butterfield_Final Paper.pdf
    Size:
    2.17 MB
    Format:
    Adobe Portable Document Format
    Description:
    Download

    License bundle

    Now showing 1 - 1 of 1
    Thumbnail Image
    Name:
    license.txt
    Size:
    3.46 KB
    Format:
    Item-specific license agreed upon to submission
    Description:
    Download

    Collections

    Computer Science (Scholarly Publications)