Contract-Based Verification of Simulink Models
Julkaisuvuosi
2011
Tekijät
Boström, Pontus
Organisaatiot ja tekijät
Åbo Akademi
Boström Pontus
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti/Sarja
13th International Conference on Formal Engineering Methods, ICFEM 2011
Emojulkaisun nimi
Kustantaja
Springer
Volyymi
6991
Numero
NNNN
Sivut
291-306
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Saksa
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
DOI
10.1007/978-3-642-24559-6
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä