Abstract: Synchronous block-diagram languages have long been formalized as fixpoints of equations defining stream functions. We apply this approach to a compiler verified in an interactive theorem ...
Abstract: The research presented in this paper aims to establish functional mockup units (FMU) co-simulation methods to simulate and evaluate encrypted dynamic systems using some-what homomorphic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback