Detail aplikovaného výsledku

Topological Models

KOVÁR, M.; CHERNIKAVA, A.

Originální název

Topological Models

Anglický název

Topological Models

Druh

Software

Abstrakt

Application Topological Models checks if the original framework is correctly defined by the input and then it generates the set of all open and closed models of the framework with respect to a given topological space.

Abstrakt anglicky

Application Topological Models checks if the original framework is correctly defined by the input and then it generates the set of all open and closed models of the framework with respect to a given topological space.

Klíčová slova

Framework, topological space, framework topological model.

Klíčová slova anglicky

Framework, topological space, framework topological model.

Umístění

Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno

Možnosti využití

výsledek využívá pouze poskytovatel

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www