Informace o publikaci

Architectural Interoperability Checking in Visual Coordination Networks

Název česky Ověřování interoperability architektur ve vizuálních koordinačních diagramech
Autoři

ŠAFRÁNEK David

Rok publikování 2006
Druh Článek ve sborníku
Konference Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.sciencedirect.com/science/journal/15710661
Obor Informatika
Klíčová slova coordination models; architectural description languages; interoperability checking; equivalence checking; visual coordination networks
Popis Publikace popisuje přístup k ověřování diagramarické architektury souběžných systémů metodou ověřování ekvivalencí.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info