Wyniki wyszukiwania
Znaleziono 3 projekty spełniających kryteria wyszukiwania:
-
1. Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 3, panel: ST6
-
2. Metody wnioskowania o programach w językach wyższego rzędu
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 8, panel: ST6
-
3. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST6