Tampere University of Technology

TUTCRIS Research Portal

Formal methods in factory automation

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional


Original languageEnglish
Title of host publicationFactory Automation
EditorsJavier Silvestre-Blanes
Place of PublicationCroatia
ISBN (Print)978-953-307-024-7
Publication statusPublished - 2010
Publication typeD2 Article in professional manuals or guides or professional information systems or text book material

Publication forum classification

Field of science, Statistics Finland