Vnoření formalizovaných teorií je vhodným nástrojem pro vytváření vnořených simulačních modelů. Přehled jednotlivých aplikací vytvořených v České republice. (cs)
Nesting of formalized theories is a suitable tool for nested simulation models. Particular applications developed in Czech Republic
Nesting of formalized theories is a suitable tool for nested simulation models. Particular applications developed in Czech Republic (en)