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

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationFormal Methods for Industrial Critical Systems
    EditorsFrédéric Lang, Francesco Flammini
    PublisherLecture notes for computer science
    Pages33–47
    ISBN (Electronic)978-3-319-10702-8
    ISBN (Print)978-3-319-10701-1
    DOIs
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2014-09-11; 2014-09-12 - Ghent, Belgium
    Duration: 11 Sep 201412 Sep 2014

    Conference

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

    Cite this