2014/15/N/ST6/05079
Słowa kluczowe:
weryfikacja modelowa systemy wieloagentowe systemy czasu rzeczywistego systemy współbieżne logiki modalne testery SMT
Deskryptory:
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
woj. śląskie
Konkurs: PRELUDIUM 8 - ogłoszony 2014-09-15
Przyznana kwota: 99 560 PLN
Rozpoczęcie projektu: 2015-07-13
Zakończenie projektu: 2017-07-12
Planowany czas trwania projektu: 24 miesięcy (z wniosku)
Status projektu: Projekt rozliczony