Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
Publiceringsår
2014
Upphovspersoner
Pontus Boström; Petr Sergeevish Alexeev; Mikko Heikkilä; Mikko Huova; Marina Walden; Matti Linjama
Organisationer och upphovspersoner
Åbo Akademi
Walden Marina
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal
Formal Methods for Industrial Critical Systems
Moderpublikationens namn
Konferens
conference; 2014-09-11; 2014-09-12
Sidor
33–47
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Förlagets internationalitet
Inhemsk
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-319-10702-8
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja