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