Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Mathias Nyman, Andrzej Wasowski

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelLecture Notes in Computer Science : Formal Methods for Components and Objects
    Vol/bind6286
    ForlagSpringer
    Publikationsdato2010
    Sider290-310
    StatusUdgivet - 2010

    Citationsformater