Login / Signup
Testing real-time embedded software using runtime enforcement.
Louis-Marie Givel
Jean-Luc Béchennec
Matthias Brun
Sébastien Faucou
Olivier H. Roux
Published in:
SIES (2016)
Keyphrases
</>
embedded software
real time
embedded systems
development projects
software architecture
low cost
artificial intelligence
multi agent
access control
dynamic environments
sequence diagrams