Wyniki wyszukiwania
Znaleziono 2 projekty spełniających kryteria wyszukiwania:
-
1. Metodyka projektowania sterowników systemów robotycznych oparta na formalnej specyfikacji
Kierownik: Maksym Figat
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Konkurs: PRELUDIUM 13, panel: ST7
-
2. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 14, panel: ST6