C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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