Nie jesteś zalogowany | Zaloguj się
Powrót do listy grantów

Matematyczne podstawy technik opisu i analizy poprawności systemów informatycznych

Kierownik
prof. dr hab. Damian Niwiński
Numer umowy
8T11C 027 16
Data rozpoczęcia
1 stycznia 1999
Data zakończenia
30 grudnia 2000
Finansowany przez
Komitet Badań Naukowych
Wykonawcy
dr hab. Damian Niwiński, dr Jerzy Tyszkiewicz, dr Igor Walukiewicz, Tomasz Urbański, mgr Zbigniew Łukasiak
Słowa kluczowe
weryfikacja systemów informatycznych; teoria automatów; logiki modalne; języki zapytań baz danych; operatory punktu stałego