Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems
Julkaisuvuosi
2015
Tekijät
Patil, Sandeep; Vyatkin, Valeriy; Pang, Cheng
Organisaatiot ja tekijät
Aalto-yliopisto
Vyatkin Valeriy 
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
13th IEEE Conference on Industrial Informatics (INDIN 2015), Cambridge, UK, July 22-24, 2015
Sivut
1192-1197
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä