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

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Editors: Frédéric Lang, Francesco Flammini
Publisher: Springer
Publication year: 2014
Publisher: Lecture notes for computer science
Book title: Formal Methods for Industrial Critical Systems
Title of series: Lecture Notes in Computer Science
Volume number: 8718
Start page: 33
End page: 47
ISBN: 978-3-319-10701-1
eISBN: 978-3-319-10702-8
ISSN: 0302-9743

Last updated on 2019-20-08 at 06:26