2 projects found matching your search criteria :
Quantitative specifications: learning, algorithms and applications
Call: OPUS 14 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Robotic system design methodology based on a formal specification
Call: PRELUDIUM 13 , Panel: ST7
Principal investigator: Maksym Figat
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych