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

doi:10.1007/978-3-319-10702-8

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/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Formal Methods for Industrial Critical Systems
Redaktörer	Frédéric Lang, Francesco Flammini
Förlag	Lecture notes for computer science
Sidor	33–47
ISBN (elektroniskt)	978-3-319-10702-8
ISBN (tryckt)	978-3-319-10701-1
DOI	https://doi.org/10.1007/978-3-319-10702-8
Status	Publicerad - 2014
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 2014-09-11; 2014-09-12 - Ghent, Belgium Varaktighet: 11 sep. 2014 → 12 sep. 2014

Konferens

Konferens	conference; 2014-09-11; 2014-09-12
Period	11/09/14 → 12/09/14

Åtkomst av dokument

10.1007/978-3-319-10702-8

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Ansvarig forskare), Sere, K. (Ansvarig forskare), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI), Wiik, J. (CoI), Olszewska, M. (CoI) & Dahlvik, M. (CoI)
01/05/11 → 30/09/14
Projekt: Företag/Business Finland

Citera det här

@inproceedings{1a312268495c4f9aa6f91825bde90cf4,

title = "Analysis of Real-Time Properties of a Digital Hydraulic Power Management System",

author = "Pontus Bostr{\"o}m and Alexeev, \{Petr Sergeevish\} and Mikko Heikkil{\"a} and Mikko Huova and Marina Walden and Matti Linjama",

year = "2014",

doi = "10.1007/978-3-319-10702-8",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-10701-1",

pages = "33–47",

editor = "Fr{\'e}d{\'e}ric Lang and Francesco Flammini",

booktitle = "Formal Methods for Industrial Critical Systems",

publisher = "Lecture notes for computer science",

note = "conference; 2014-09-11; 2014-09-12 ; Conference date: 11-09-2014 Through 12-09-2014",

}

Boström, P, Alexeev, PS, Heikkilä, M, Huova, M, Walden, M & Linjama, M 2014, Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. i F Lang & F Flammini (red), Formal Methods for Industrial Critical Systems. Lecture notes for computer science, s. 33–47, conference; 2014-09-11; 2014-09-12, 11/09/14. https://doi.org/10.1007/978-3-319-10702-8

Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. / Boström, Pontus; Alexeev, Petr Sergeevish; Heikkilä, Mikko et al.
Formal Methods for Industrial Critical Systems. red. / Frédéric Lang; Francesco Flammini. Lecture notes for computer science, 2014. s. 33–47.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

TY - GEN

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

AU - Boström, Pontus

AU - Alexeev, Petr Sergeevish

AU - Heikkilä, Mikko

AU - Huova, Mikko

AU - Walden, Marina

AU - Linjama, Matti

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-10702-8

DO - 10.1007/978-3-319-10702-8

M3 - Publicerad konferensartikel

SN - 978-3-319-10701-1

SP - 33

EP - 47

BT - Formal Methods for Industrial Critical Systems

A2 - Lang, Frédéric

A2 - Flammini, Francesco

PB - Lecture notes for computer science

T2 - conference; 2014-09-11; 2014-09-12

Y2 - 11 September 2014 through 12 September 2014

ER -

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

Konferens

Åtkomst av dokument

Projekt

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)

Citera det här