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

A. Lobov

Research output: Book/Report › Doctoral thesis › Collection of Articles

Translated title of the contribution	Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods
Original language	English
Place of Publication	Tampere
Publisher	Tampere University of Technology
Number of pages	121
ISBN (Print)	978-952-15-2080-8
Publication status	Published - 2008
Publication type	G5 Doctoral dissertation (articles)

Name	Tampereen teknillinen yliopisto. Julkaisu
Publisher	Tampere University of Technology
Volume	782
ISSN (Print)	1459-2045

Publication forum classification

@book{ed89fe10480640208ffd87dcd43a5780,

title = "Formal validation of discrete automation systems applying structural reasoning and general unary hypothesis automaton methods",

author = "A. Lobov",

note = "Awarding institution:Tampere University of Technology",

year = "2008",

language = "English",

isbn = "978-952-15-2080-8",

series = "Tampereen teknillinen yliopisto. Julkaisu",

publisher = "Tampere University of Technology",

}

TY - BOOK

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

AU - Lobov, A.

N1 - Awarding institution:Tampere University of Technology

PY - 2008

Y1 - 2008

M3 - Doctoral thesis

SN - 978-952-15-2080-8

T3 - Tampereen teknillinen yliopisto. Julkaisu

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

PB - Tampere University of Technology

CY - Tampere

ER -