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 :
Languages, Compilers, Tools & Theory for Embedded Systems; Jan2009, 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