Nie jesteś zalogowany |
Powrót do listy grantów
Matematyczne podstawy poprawności, bezpieczeństwa i efektywności rozproszonych systemów informatycznych
- Kierownik
- prof. dr hab. Damian Niwiński
- Numer umowy
- 4 T11C 042 25
- Data rozpoczęcia
- 28 listopada 2003
- Data zakończenia
- 27 listopada 2006
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- dr hab. Jerzy Tyszkiewicz, dr Stefan Dziembowski, dr Sławomir Lasota, dr Aleksy Schubert, mgr Marcin Peczarski, mgr Mikołaj Bojańczyk, mgr Łukasz Krzeszczakowski, mgr Marcin Rychlik, mgr Michał Bielecki, mgr Sławomir Leszczyński
- Słowa kluczowe
- bezpieczne obliczenia wielopodmiotowe, równoważność bisymulacyjna procesów, systemy czasu rzeczywistego, złożoność komunikacyjna, sieci Petriego, matematyczne podstawy weryfikacji, matematyczne podstawy kryptografii
