Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts.

Csar Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai

Browse the full FM paper archive.