Formal verification of PLC controlled systems using sensor graphs
Paper in proceedings, 2009
Author
Tord Alenljung
Chalmers, Signals and Systems, Systems and control, Automation
Bengt Lennartson
Chalmers, Signals and Systems, Systems and control, Automation
2009 IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India
164-170
Subject Categories
Electrical Engineering, Electronic Engineering, Information Engineering
DOI
10.1109/COASE.2009.5234187
ISBN
978-142444578-3