Verification of the behaviour of reactive software with CFFD-semantics and ARA tools

Antti Valmari, Reijo Savola

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Original languageEnglish
    Title of host publicationInternational symposium on on-board real-time software, ISOBRTS
    EditorsT.D. Guyenne
    Place of PublicationNoordwijk
    PublisherEuropean Space Agency ESA
    ISBN (Print)978-92-9092-183-7
    Publication statusPublished - 1995
    MoE publication typeA4 Article in a conference publication
    EventInternational Symposium on On-Board Real-Time Software, ISOBRTS '95 - Norwijk, Netherlands
    Duration: 13 Nov 199515 Nov 1995

    Publication series

    SeriesESA Special Publication
    Volume375
    ISSN0379-6566

    Seminar

    SeminarInternational Symposium on On-Board Real-Time Software, ISOBRTS '95
    CountryNetherlands
    CityNorwijk
    Period13/11/9515/11/95

    Cite this

    Valmari, A., & Savola, R. (1995). Verification of the behaviour of reactive software with CFFD-semantics and ARA tools. In T. D. Guyenne (Ed.), International symposium on on-board real-time software, ISOBRTS [8] European Space Agency ESA. ESA Special Publication, Vol.. 375