Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ
Tytuł pozycji:

Specification and verification of time requirements with CCSL and Esterel.

Tytuł :
Specification and verification of time requirements with CCSL and Esterel.
Autorzy :
André, Charles
Mallet, Frédéric
Pokaż więcej
Źródło :
Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference: Languages, Compilers & Tools for Embedded Systems; 6/19/2009, p167-176, 10p
Konferencja

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies