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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.