Projects search

• Keywords: formal specification ×

Change search criteria ↓

Search results

2 projects found matching your search criteria:

1. 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. 2. Quantitative specifications: learning, algorithms and applications

   Principal investigator: dr Jan Otop

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 14, Panel: ST6