Analysis of Real-Time Properties of a Digital Hydraulic Power Management System

Pontus Boström, Petr Sergeevish Alexeev, Mikko Heikkilä, Mikko Huova, Marina Walden, Matti Linjama

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoFormal Methods for Industrial Critical Systems
    ToimittajatFrédéric Lang, Francesco Flammini
    KustantajaLecture notes for computer science
    Sivut33–47
    ISBN (elektroninen)978-3-319-10702-8
    ISBN (painettu)978-3-319-10701-1
    DOI - pysyväislinkit
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2014-09-11; 2014-09-12 - Ghent, Belgium
    Kesto: 11 syyskuuta 201412 syyskuuta 2014

    Konferenssi

    Konferenssiconference; 2014-09-11; 2014-09-12
    Ajanjakso11/09/1412/09/14

    Viittausmuodot