Wyszukiwarka projektów

• Słowa kluczowe: formalna specyfikacja ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 4 projekty spełniających kryteria wyszukiwania:

1. 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. 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

3. 3. Konstruowanie specyfikacji i weryfikacja oprogramowania

   Kierownik: prof. Andrzej Tarlecki

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: OPUS 6, panel: ST6

4. 4. Automatyczne rozumowanie o specyfikacjach wyrażonych w prostych logikach - kwestie rozstrzygalności i złożoności

   Kierownik: dr hab. Lidia Zofia Tendera

   Uniwersytet Opolski

   Konkurs: OPUS 5, panel: ST6