C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects.
Eduard Kamburjan
Stefan Mitsch
Martina Kettenbach
Reiner Hähnle
Published in:
CoRR (2019)
Keyphrases
</>
cyber physical systems
cyber physical
real time
information systems