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