114
Voted
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...