A4 Artikkeli konferenssijulkaisussa
Progress Checking for Dummies (2018)
Valmari, A., & Hansen, H. (2018). Progress Checking for Dummies. In F. Howar, & J. Barnat (Eds.), FMICS 2018 : Formal Methods for Industrial Critical Systems (pp. 115-130). Springer. Lecture Notes in Computer Science, 11119. https://doi.org/10.1007/978-3-030-00244-2_8
JYU-tekijät tai -toimittajat
Julkaisun tiedot
Julkaisun kaikki tekijät tai toimittajat: Valmari, Antti; Hansen, Henri
Emojulkaisu: FMICS 2018 : Formal Methods for Industrial Critical Systems
Emojulkaisun toimittajat: Howar, Falk; Barnat, Jiří
ISBN: 978-3-030-00243-5
Lehti tai sarja: Lecture Notes in Computer Science
ISSN: 0302-9743
eISSN: 1611-3349
Julkaisuvuosi: 2018
Sarjan numero: 11119
Artikkelin sivunumerot: 115-130
Kustantaja: Springer
Kustannuspaikka: Cham
Julkaisumaa: Sveitsi
Julkaisun kieli: englanti
DOI: https://doi.org/10.1007/978-3-030-00244-2_8
Julkaisun avoin saatavuus: Ei avoin
Julkaisukanavan avoin saatavuus:
Julkaisu on rinnakkaistallennettu (JYX): https://jyx.jyu.fi/handle/123456789/60128
Lisätietoja: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018.
YSO-asiasanat: ohjelmointi; algoritmiikka; verifiointi; testaus; edistys
Vapaat asiasanat: usability of verification methods; fairness; fair testing
Liittyvät organisaatiot
OKM-raportointi: Kyllä
Raportointivuosi: 2018
JUFO-taso: 1
