Overview of distributed control systems formalism
Loading...
Downloads
4
Date issued
Authors
Holečko, P.
Journal Title
Journal ISSN
Volume Title
Publisher
Žilinská univerzita v Žiline. Elektrotechnická fakulta
Location
Signature
License
Abstract
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).
Description
Subject(s)
Citation
Advances in electrical and electronic engineering. 2008, vol. 7, no. 1, 2, p. 253-256.