An application of formal methods for PLC-based systems

A. Lobov; C. Popescu; J. L. Martinez Lastra

An application of formal methods for PLC-based systems

A. Lobov, C. Popescu, J. L. Martinez Lastra

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

Translated title of the contribution	An application of formal methods for PLC-based systems
Original language	English
Title of host publication	Proceedings of 6th International Conference on Machine Automation ICMA 2006 & 5th International Conference on Smart Systems 2006. 7-8 June, 2006, Seinäjoki, Finland
Pages	7 p
Publication status	Published - 2006
Publication type	B3 Article in conference proceedings

Publication forum classification

No publication forum level

Access to Document

http://www.smartsystems.fi

Cite this

@inproceedings{73374ae4c34f4db8877fbf90aa4346bc,

title = "An application of formal methods for PLC-based systems",

author = "A. Lobov and C. Popescu and {Martinez Lastra}, {J. L.}",

note = "ISBN-13 978-952-5598-01-2, ISBN-10 952-5598-01-2<br/>Contribution: organisation=ttek,FACT1=1",

year = "2006",

language = "English",

pages = "7 p",

booktitle = "Proceedings of 6th International Conference on Machine Automation ICMA 2006 & 5th International Conference on Smart Systems 2006. 7-8 June, 2006, Sein{\"a}joki, Finland",

}

An application of formal methods for PLC-based systems. / Lobov, A.; Popescu, C.; Martinez Lastra, J. L.
Proceedings of 6th International Conference on Machine Automation ICMA 2006 & 5th International Conference on Smart Systems 2006. 7-8 June, 2006, Seinäjoki, Finland. 2006. p. 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

TY - GEN

T1 - An application of formal methods for PLC-based systems

AU - Lobov, A.

AU - Popescu, C.

AU - Martinez Lastra, J. L.

N1 - ISBN-13 978-952-5598-01-2, ISBN-10 952-5598-01-2<br/>Contribution: organisation=ttek,FACT1=1

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - 7 p

BT - Proceedings of 6th International Conference on Machine Automation ICMA 2006 & 5th International Conference on Smart Systems 2006. 7-8 June, 2006, Seinäjoki, Finland

ER -