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
    ISBN (Electronic)978-3-319-10702-8
    ISBN (Print)978-3-319-10701-1
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2014-09-11; 2014-09-12 - Ghent, Belgium
    Duration: 11 Sept 201412 Sept 2014


    Conferenceconference; 2014-09-11; 2014-09-12

    Cite this