Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.

Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem

Browse the full ICSoft paper archive.