Tampere University of Technology

TUTCRIS Research Portal

Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods

Research output: Book/ReportDoctoral thesisCollection of Articles

Details

Original languageEnglish
Place of PublicationTampere
PublisherTampere University of Technology
Number of pages121
ISBN (Print)978-952-15-2080-8
Publication statusPublished - 2008
Publication typeG5 Doctoral dissertation (article)

Publication series

NameTampereen teknillinen yliopisto. Julkaisu
PublisherTampere University of Technology
Volume782
ISSN (Print)1459-2045

Publication forum classification

Field of science, Statistics Finland