Projekty finansowane przez NCN
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
2012/05/N/ST6/03226
Słowa kluczowe:
Gramatyka bezkontekstowa automat ze stosem bisymulacja symulacja automat licznikowy osiągalność weryfikacja modelowa
Deskryptory:
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
woj. mazowieckie
Konkurs: PRELUDIUM 3 - ogłoszony 2012-03-15
Przyznana kwota: 63 900 PLN
Rozpoczęcie projektu: 2013-02-06
Zakończenie projektu: 2014-12-05
Planowany czas trwania projektu: 22 miesięcy (z wniosku)
Status projektu: Projekt rozliczony