C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Special issue: Formal verification of cyber-physical systems.
Luca Geretti
Alessandro Abate
Pierluigi Nuzzo
Tiziano Villa
Published in:
Inf. Comput. (2022)
Keyphrases
</>
formal verification
special issue
cyber physical systems
cyber physical
model checking
physical world
cyber security
international journal
ai edam
applied intelligence
ecml pkdd
embedded systems
social networks
critical infrastructure
information systems
smart grid
virtual world
decision support system