Symbolic verification of real-time design patterns 07/01/2021sbliudze PDF of the proposal This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain. Read more →
