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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Formal Methods for Industrial Critical Systems
Toimittajat	Frédéric Lang, Francesco Flammini
Kustantaja	Lecture notes for computer science
Sivut	33–47
ISBN (elektroninen)	978-3-319-10702-8
ISBN (painettu)	978-3-319-10701-1
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-10702-8
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 2014-09-11; 2014-09-12 - Ghent, Belgium Kesto: 11 syysk. 2014 → 12 syysk. 2014

Konferenssi

Konferenssi	conference; 2014-09-11; 2014-09-12
Ajanjakso	11/09/14 → 12/09/14

Pääsy asiakirjaan

10.1007/978-3-319-10702-8

Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Vastuullinen tutkija), Sere, K. (Vastuullinen tutkija), 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
Projekti: Industry/Business Finland

Viittausmuodot

@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. julkaisussa F Lang & F Flammini (toim), Formal Methods for Industrial Critical Systems. Lecture notes for computer science, Sivut 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. toim. / Frédéric Lang; Francesco Flammini. Lecture notes for computer science, 2014. s. 33–47.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 - Konferensbidrag

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

Konferenssi

Pääsy asiakirjaan

Projektit

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

Viittausmuodot