Model-Checking I&C Logics — Practical Examples
Julkaisuvuosi
2023
Tekijät
Pakonen, Antti
Organisaatiot ja tekijät
Teknologian tutkimuskeskus VTT Oy
Pakonen Antti 
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Konferenssi
Kustantaja
Sivut
1610-1619
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
2
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Sähkö-, automaatio- ja tietoliikennetekniikka, elektroniikka
Avainsanat
[object Object],[object Object],[object Object]
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.13182/NPICHMIT23-41122
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä