Karine Altisen and Matthieu Moy
Connecting Real-Time Calculus to the Synchronous Programming Language Lustre (2009)
Connecting Real-Time Calculus to the Synchronous Programming Language Lustre (2009)
TR-2009-14.pdf
Keywords: Real Time Calculus, Modular Performance Analysis, computational models, lustre, nbac, abstract interpretation, generator, synchronous observer
Abstract:
