Timed I/O Automata: A Complete Specification Theory for Real-time Systems

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
    TitelHSCC '10 Proceedings of the 13th ACM international conference on Hybrid systems : computation and control
    ForlagAssociation for Computing Machinery
    Publikationsdato2010
    ISBN (Elektronisk)978-1-60558-955-8
    StatusUdgivet - 2010
    BegivenhedInternational Conference on Hybrid Systems: Computation and Control.    April 12-16, - Stockholm, Sverige
    Varighed: 12 apr. 201016 apr. 2010
    Konferencens nummer: 13

    Konference

    KonferenceInternational Conference on Hybrid Systems: Computation and Control.    April 12-16,
    Nummer13
    Land/OmrådeSverige
    ByStockholm
    Periode12/04/201016/04/2010

    Citationsformater