A4 Artikkeli konferenssijulkaisussa
Modelling Without a Modelling Language (2018)


Valmari, A., & Lappalainen, V. (2018). Modelling Without a Modelling Language. In M. D. M. Gallardo, & P. Merino (Eds.), SPIN 2018 : Model Checking Software (pp. 308-327). Springer. Lecture Notes in Computer Science, 10869. https://doi.org/10.1007/978-3-319-94111-0_18


JYU-tekijät tai -toimittajat


Julkaisun tiedot

Julkaisun kaikki tekijät tai toimittajatValmari, Antti; Lappalainen, Vesa

EmojulkaisuSPIN 2018 : Model Checking Software

Emojulkaisun toimittajatGallardo, María del Mar; Merino, Pedro

ISBN978-3-319-94110-3

Lehti tai sarjaLecture Notes in Computer Science

ISSN0302-9743

eISSN1611-3349

Julkaisuvuosi2018

Sarjan numero10869

Artikkelin sivunumerot308-327

Kirjan kokonaissivumäärä347

KustantajaSpringer

KustannuspaikkaCham

JulkaisumaaSveitsi

Julkaisun kielienglanti

DOIhttps://doi.org/10.1007/978-3-319-94111-0_18

Julkaisun avoin saatavuusEi avoin

Julkaisukanavan avoin saatavuus

Julkaisu on rinnakkaistallennettu (JYX)https://jyx.jyu.fi/handle/123456789/60094

Lisätietoja25th International Symposium on Model Checking Software. Malaga, Spain, June 20-22, 2018.


YSO-asiasanatohjelmointikieletC++ (ohjelmointikieli)mallintaminen

Vapaat asiasanatexplicit state spaces; modelling languages; implementation issues


Liittyvät organisaatiot


OKM-raportointiKyllä

Raportointivuosi2018

JUFO-taso1


Viimeisin päivitys 2024-11-05 klo 21:05