Formal verification of non-functional requirements of overall instrumentation and control architectures

Publiceringsår

2024

Upphovspersoner

Ovsiannikova, Polina; Pakonen, Antti; Muromsky, Dmitry; Kobzev, Maksim; Dubinin, Viktor; Vyatkin, Valeriy

Organisationer och upphovspersoner

Aalto-universitetet

Ovsiannikova Polina

Vyatkin Valeriy

Teknologiska forskningscentralen VTT Ab

Pakonen Antti

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

IEEE open journal of the industrial electronics society

Förläggare

IEEE

Volym

Sidor

616-631

ISSN

2644-1284

Publikationsforum

90148

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Övriga uppgifter

Vetenskapsområden

El-, automations- och telekommunikationsteknik, elektronik

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Sampublikation med ett företag

Nej

DOI

10.1109/OJIES.2024.3413568