Technical Reports

Karine Altisen and Matthieu Moy
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:

Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900660