Agata Janowska

Generowanie automatów czasowych dla systemów czasu rzeczywistego

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Oct. 18, 2007

Supervisor

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

Reviewers

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

Documents

• Summary in Polish