|
ComputingReviews.com
|
Specification and verification of time requirements with CCSL and Esterel André C., Mallet F. LCTES 2009 (Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Dublin, Ireland, Jun 19-20, 2009)167-176,2009.Type:Proceedings |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|