Tytuł projektu: Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych
Instytucja: Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Województwo: śląskie
Kierownik projektu: dr hab. Bożena Woźna-Szcześniak
Panel: ST6 (obszar: ST)
Liczba wykonawców: 3
Finansowanie: 272500 PLN
Okres realizacji: 2011-12-08 00:00:00 – 2014-12-07 00:00:00 (36 miesięcy)