Login / Signup

Formal verification of PLC controlled systems using Sensor Graphs.

Tord AlenljungBengt 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