Verimag

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 | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 777789