Thesis

Formal-based Component Model with Support of Mobile Architecture

Plánování a příprava předmětu Service Sciences na FIT VUT

VPD

Formální specifikace architektur informačních systémů

QM4

Transparentní intenzionální logika (TIL)

ZZD

Klasifikace a predikce

TJD

Použití π-kalkulu v UML