Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks

Publiceringsår

2011

Upphovspersoner

Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka

Organisationer och upphovspersoner

Aalto-universitetet

Niemelä Ilkka

Junttila Tommi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Sidor

185-194

ISSN

1550-4808

ISBN

978-1-61284-974-4

Publikationsforum

51455

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Statistik; Data- och informationsvetenskap; El-, automations- och telekommunikationsteknik, elektronik; Psykologi; Medie- och kommunikationsvetenskap; Sociologi

Nyckelord

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

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1109/ACSD.2011.29