Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks
Julkaisuvuosi
2011
Tekijät
Kindermann, Roland; Junttila, Tommi; Niemelä, Ilkka
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
11th International Conference on Application of Concurrency to System Designg, (ACSD 2011)
Kustantaja
Sivut
185-194
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tilastotiede; Tietojenkäsittely ja informaatiotieteet; Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka; Psykologia; Media- ja viestintätieteet; Sosiologia
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ACSD.2011.29
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä