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