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