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

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

datePublished

• 2008

description

• kuvitettu

identifier

• propertyID: FI-FENNI value: 906323
• propertyID: FI-MELINDA value: 005181472
• propertyID: skl value: fx906323

isbn

• 9789521520808

isPartOf

• Fennica
• Publikationer från Vasa universitet. Forskningsrapporter. Språkvetenskap

name

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

numberOfPages

• xvi, 121 s.

P60048

• <http://rdaregistry.info/termList/RDACarrierType/1049>

P60050

• <http://rdaregistry.info/termList/RDAMediaType/1007>

publication

• location: Tampere organizer: Tampereen teknillinen korkeakoulu Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus

publisher

• Tampereen teknillinen korkeakoulu
• Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus