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