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
Kustantajan kansainvälisyys
Kotimainen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä