Tampere University of Technology

TUTCRIS Research Portal

An approach to validation of industrial automation systems combining formal verification and simulation

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific


Original languageEnglish
Title of host publicationSIMS 2002, The 43rd Conference on Simulation and Modelling, September 26 - 27, 2002 Oulu, Finland
EditorsE. Juuso, L. Yliniemi
Place of PublicationOulu
PublisherFinnish Society of Automation
Publication statusPublished - 2002
Publication typeB3 Non-refereed article in conference proceedings

Publication forum classification