Sign in
Fully automated runtime enforcement of component-based systems with formal and sound recovery.
Yliès Falcone
Mohamad Jaber
Published in:
Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
</>
fully automated
fully automatic
semi automated
manual segmentation
distributed systems
complex systems
completely automated
management system
retrieval systems
ground truth
software development
error prone
formal methods
formal languages