Login / Signup
Formal verification of cyber-physical automation systems modelled with timed block diagrams.
Dmitrii Drozdov
Sandeep Patil
Victor Dubinin
Valeriy Vyatkin
Published in:
ISIE (2016)
Keyphrases
</>
formal verification
cyber physical
model checking
social networks
physical world
cyber physical systems
bounded model checking
petri net
situation awareness
model checker
automated verification
symbolic model checking
physical space
virtual world
data mining
temporal logic