try another color:
try another fontsize: 60% 70% 80% 90%

Specification and verification of time requirements with CCSL and Esterel

Fri, 2010-06-25 00:03 — admin
Title: 
Specification and verification of time requirements with CCSL and Esterel
Summary: 
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 167-176.
Last modified: Fri, 2010-06-25 00:03 by admin