Search results
2 projects found matching your search criteria:
-
1. Selected SMT-based model checking methods
Principal investigator: Agnieszka Małgorzata Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Call: PRELUDIUM 8, Panel: ST6
-
2. An intelligent hybrid system for planning and composition of Web services
Principal investigator: prof. Wojciech Penczek
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Call: OPUS 1, Panel: ST6