Information

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

English (EN)·Polski (PL)·Ukraiński (UK)
Go to the home page of the library Uniwersytet Ekonomiczny we Wrocławiu Link opens in a new window Library logo Prolib Integro - home pageUniwersytet Ekonomiczny we Wrocławiu
Title of the item:

Specification and verification of time requirements with CCSL and Esterel.

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

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.