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

    Thumbnail Image

    Files

    17h25-17h50_June 6 2023_Deploying PROMELA_SPIN-based test generation on RTEMS a progress report_Trinity College Dublin_Andrew Butterfield_Final Paper.pdf (2.17 MB)

    Date

    2023

    Authors

    Journal Title

    Journal ISSN

    Volume Title

    Publisher

    ASD Eurospace

    Access

    openAccess

    Embargo end date

    Citation

    Andrew Butterfield, Deploying Promela/Spin-based test generation on RTEMS: A progress report, DASIA (Data Systems in Eurospace), Sitges, Spain, June 6-8th 2023, ASD Eurospace, 2023, 6

    Abstract

    Description

    PUBLISHED
    see https://eurospace.org/dasia-conference-aspx/
    Sitges, Spain

    URI

    https://hdl.handle.net/2262/109054

    Collections

    Computer Science (Scholarly Publications)

    Endorsement

    Review

    Supplemented By

    Referenced By

    Keywords

    Author's Homepage: http://people.tcd.ie/butrfeld

    Author: Butterfield, Andrew

    Other Titles: DASIA (Data Systems in Eurospace)
    Publisher: ASD Eurospace
    Type of material: Conference Paper