%0 Journal Article
%T Overview of Distributed Control Systems Formalisms
%A Peter Holecko
%J Advances in Electrical and Electronic Engineering
%D 2008
%I Technical University of Ostrava
%X This paper discusses a chosen set of mainly object-oriented formal and semiformal methods, methodics, environments and tools for specification, analysis, modeling, simulation, verification, development and synthesis of distributed control systems (DCS).
%K Distributed control systems
%K object-oriented formal method
%K semiformal method.
%U http://advances.utc.sk/index.php/AEEE/article/view/115