TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Progress Checking for Dummies

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoFormal Methods for Industrial Critical Systems
ToimittajatFalk Howar, Jiri Barnat
KustantajaSpringer International Publishing
Sivut115-130
Vuosikerta11119
DOI - pysyväislinkit
TilaJulkaistu - 2018
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaInternational Workshop on Formal Methods for Industrial Critical Systems -
Kesto: 3 syyskuuta 20184 syyskuuta 2018

Julkaisusarja

NimiLecture Notes in Computer Science
ISSN (elektroninen)1611-3349

Conference

ConferenceInternational Workshop on Formal Methods for Industrial Critical Systems
Ajanjakso3/09/184/09/18

Julkaisufoorumi-taso