Agata Janowska

Generowanie automatów czasowych dla systemów czasu rzeczywistego (Generowanie automatów czasowych dla systemów czasu rzeczywistego)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

18 października 2007

Promotor

• doc. dr hab. Wojciech Penczek (Instytut Podstaw Informatyki PAN)

Recenzenci

• prof. dr hab. Andrzej Szałas
• prof. dr hab. Józef Winkowski (Instytut Podstaw Informatyki PAN)

Dokumenty

• Autoreferat w języku polskim