Information

Dear user, the application need JavaScript support. Please enable JavaScript in your browser.

You are browsing as a GUEST

You search for a phrase ""Mallet, Frédéric"" according to the criterion: Author


Showing 1-4 from 4 results
Title :
Specification and verification of time requirements with CCSL and Esterel.
Authors :
André, Charles
Mallet, Frédéric
Show more
Source :
Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference: Languages, Compilers & Tools for Embedded Systems; 6/19/2009, p167-176, 10p
Conference
    Showing 1-4 from 4 results

    We use cookies to help identify your computer so we can tailor your user experience, track shopping basket contents and remember where you are in the order process.