C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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