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

Tässä tietueessa ei ole kokotekstiä saatavilla Treposta, ainoastaan metadata.

Lobov, A.

Tampere University of Technology

2008

Automaatio-, kone- ja materiaalitekniikan tiedekunta - Faculty of Automation, Mechanical and Materials Engineering

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.