C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Predictive Formal Analysis of Resilience in Cyber-Physical Systems.
Sebti Mouelhi
Mohamed-Emine Laarouchi
Daniela Cancila
Hakima Chaouchi
Published in:
IEEE Access (2019)
Keyphrases
</>
formal analysis
cyber physical systems
cyber physical
physical world
cyber security
embedded systems
agent model
ban logic
critical infrastructure
formal methods
high speed
computational intelligence
smart grid
object oriented
decision making
information systems
artificial intelligence
real time