Nie jesteś zalogowany |
Powrót do listy grantów
Obserwacyjna równoważność programów i struktur danych a bisymulacja procesów współbieżnych (promotorski)
- Kierownik
- prof. dr hab. Andrzej Tarlecki
- Numer umowy
- 8T11C 046 14
- Data rozpoczęcia
- 1 stycznia 1998
- Data zakończenia
- 31 grudnia 1999
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- dr hab. Andrzej Tarlecki, mgr Sławomir Lasota
- Słowa kluczowe
- specyfikacja; poprawność oprogramowania; weryfikacja i konstruowanie oprogramowania; behawioralna implementacja specyfikacji; obserwacyjna równoważność; bisymulacja procesów
