Detail aplikovaného výsledku

Framework Morphism Checker

KOVÁR, M.; CHERNIKAVA, A.; KLIMEŠOVÁ, M.

Originální název

Anglický název

Framework Morphism Checker

Druh

Software

Abstrakt

Application Framework Morphism Checker checks if the given mapping is a morphism or isomorphism between two given frameworks.

Abstrakt anglicky

Application Framework Morphism Checker checks if the given mapping is a morphism or isomorphism between two given frameworks.

Klíčová slova

Framework, framology, framework morphism, framework isomorphism.

Klíčová slova anglicky

Framework, framology, framework morphism, framework isomorphism.

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

VUT