research
∙
01/01/2022
Secure Information Flow Typing in LUSTRE
Synchronous reactive data flow is a paradigm that provides a high-level ...
research
∙
05/22/2021