Sciweavers

Share
ECRTS
2010
IEEE

ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr

9 years 8 months ago
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustr
Karine Altisen, Matthieu Moy
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where ECRTS
Authors Karine Altisen, Matthieu Moy
Comments (0)
books