Znaleziono 2 projektów spełniających kryteria wyszukiwania:
Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Konkurs: OPUS 28 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki