Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
Julkaisuvuosi
2014
Tekijät
Pontus Boström; Petr Sergeevish Alexeev; Mikko Heikkilä; Mikko Huova; Marina Walden; Matti Linjama
Organisaatiot ja tekijät
Åbo Akademi
Walden Marina
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
Formal Methods for Industrial Critical Systems
Emojulkaisun nimi
Konferenssi
conference; 2014-09-11; 2014-09-12
Sivut
33–47
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Kustantajan kansainvälisyys
Kotimainen
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-319-10702-8
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä