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

    Forskningsoutput: Kapitel i bok/konferenshandlingPublicerad konferensartikelVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på värdpublikationFormal Methods for Industrial Critical Systems
    RedaktörerFrédéric Lang, Francesco Flammini
    FörlagLecture notes for computer science
    Sidor33–47
    ISBN (elektroniskt)978-3-319-10702-8
    ISBN (tryckt)978-3-319-10701-1
    DOI
    StatusPublicerad - 2014
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2014-09-11; 2014-09-12 - Ghent, Belgium
    Varaktighet: 11 sep. 201412 sep. 2014

    Konferens

    Konferensconference; 2014-09-11; 2014-09-12
    Period11/09/1412/09/14

    Citera det här