Provable Determinism for Software in Cyber-Physical Systems.

Marcus Rossel Shaokai Lin Marten Lohstroh Jerónimo Castrillón Andrés Goens

Published in: VSTTE (2023)

Keyphrases

cyber physical systems
cyber physical
embedded systems
software systems
software development
computer systems
real time
source code
physical world
user interface
communication technologies
cyber security