A4 Article in conference proceedings
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 authors or editors
Publication details
All authors or editors: Valmari, Antti; Hansen, Henri
Parent publication: FMICS 2018 : Formal Methods for Industrial Critical Systems
Parent publication editors: Howar, Falk; Barnat, Jiří
ISBN: 978-3-030-00243-5
Journal or series: Lecture Notes in Computer Science
ISSN: 0302-9743
eISSN: 1611-3349
Publication year: 2018
Number in series: 11119
Pages range: 115-130
Publisher: Springer
Place of Publication: Cham
Publication country: Switzerland
Publication language: English
DOI: https://doi.org/10.1007/978-3-030-00244-2_8
Publication open access: Not open
Publication channel open access:
Publication is parallel published (JYX): https://jyx.jyu.fi/handle/123456789/60128
Additional information: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018.
Keywords: programming; algorithmics; verification; testing; progress
Free keywords: usability of verification methods; fairness; fair testing
Contributing organizations
Ministry reporting: Yes
Reporting Year: 2018
JUFO rating: 1