Wyszukiwarka projektów

• Słowa kluczowe: vector addition systems ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 3 projekty spełniających kryteria wyszukiwania:

1. 1. Granice automatycznej analizy systemów współbieżnych

   Kierownik: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 21, panel: ST6

2. 2. Automatyczna analiza systemów współbieżnych

   Kierownik: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 14, panel: ST6

3. 3. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane

   Kierownik: prof. Sławomir Grzegorz Lasota

   Uniwersytet Warszawski

   Konkurs: OPUS 28, panel: ST6