TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm

Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec. TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. ISSE, 14(2):117-142, 2018. [doi]

Abstract

Abstract is missing.