Search results
4 projects found matching your search criteria:
-
1. Robotic system design methodology based on a formal specification
Principal investigator: Maksym Figat
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Call: PRELUDIUM 13, Panel: ST7
-
2. Quantitative specifications: learning, algorithms and applications
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 14, Panel: ST6
-
3. Specification development and software verification
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 6, Panel: ST6
-
4. Automatic reasoning about specifications in simple logics - decidability and complexity issues
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Call: OPUS 5, Panel: ST6