Login / Signup
Formal verification of PLC controlled systems using Sensor Graphs.
Tord Alenljung
Bengt Lennartson
Published in:
CASE (2009)
Keyphrases
</>
formal verification
automated verification
distributed systems
knowledge based systems
real time
sensor networks
management system
expert systems
orders of magnitude
complex systems
graph theory