Tampere University of Technology

TUTCRIS Research Portal

Progress Checking for Dummies

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Details

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
EditorsFalk Howar, Jiri Barnat
PublisherSpringer International Publishing
Pages115-130
Volume11119
DOIs
Publication statusPublished - 2018
Publication typeA4 Article in a conference publication
EventInternational Workshop on Formal Methods for Industrial Critical Systems -
Duration: 3 Sep 20184 Sep 2018

Publication series

NameLecture Notes in Computer Science
ISSN (Electronic)1611-3349

Conference

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

Publication forum classification

Field of science, Statistics Finland