Login / Signup
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts.
César Augusto Ribeiro dos Santos
Tom Schrijvers
Amr Hany Saleh
Mike Nicolai
Published in:
FM (2021)
Keyphrases
</>
high speed
real time