Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).

Jyotirmoy V. Deshmukh Oded Maler Dejan Nickovic

Published in: Dagstuhl Reports (2019)

Keyphrases

cyber physical systems
cyber physical
social networks
physical world
cyber security
embedded systems
information systems
critical infrastructure
real time
artificial intelligence
decision making
intelligent systems
computer systems