Diagrammatic Languages and Formal Verification: A Tool-Based Approach
Julkaisuvuosi
2022
Tekijät
Masoumeh Parsa
Organisaatiot ja tekijät
Åbo Akademi
Parsa Masoumeh
Julkaisutyyppi
Julkaisumuoto
Erillisteos
Yleisö
Tieteellinen
OKM:n julkaisutyyppiluokitus
G5 Artikkeliväitöskirja
Julkaisukanavan tiedot
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Julkaisukanavan avoin saatavuus
Kokonaan avoin julkaisukanava
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Tunnistettu aihe
[object Object]
Kustantajan kansainvälisyys
Kotimainen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä