Login / Signup

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

Hela GuesmiBelgacem Ben HediaSimon BliudzeSaddek BensalemBriag Le Nabec
Published in: Innov. Syst. Softw. Eng. (2018)
Keyphrases