The PEGASE project: precise and scalable temporal analysis for aerospace communication systems with network calculus (2010)

by M Boyer, N Navet, X Olive, E Thierry
Venue:In: 4th Intl Symp. On Leveraging Applications of Formal Methods (ISoLA 2010), LNCS