Título: Overview of Distributed Control Systems Formalisms
Autores: Holecko, Peter
Fecha: 2011-06-17
Publicador: Advances in Electrical and Electronic Engineering
Fuente:
Tipo:

Tema: Distributed control systems; object-oriented formal method; semiformal method.
Descripción: 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).
Idioma: Inglés

Artículos similares:

Binary Modulation Formats in Optical Access Networks por Tejkal, Vladimir,Filka, Miloslav,Reichert, Pavel,Sporik, Jan
The Study of Sensory Properties of Quasi-Singlemode Fiber por Koudelka, Petr; Department of Telecommunications Faculty of Electrical Engineering and Computer Science VSB-TU Ostrava 17. listopadu 15/2172 708 33 Ostrava-Poruba Czech Republic,Latal, Jan,Siska, Petr,Hanacek, Frantisek,Skapa, Jan,Vasinek, Vladimir
Optical Fiber Sensor with Distributed Parameters Based on Optical Fiber Reflectometry por Korenko, Branislav,Jasenek, Jozef,Cervenova, Jozefa,Hlavac, Marek
Fiber Optical Sensor for High Temperatures por Hanacek, Frantisek; Site Administrator,Latal, Jan,Koudelka, Petr,Skapa, Jan,Siska, Petr,Vasinek, Vladimir,Hurta, Jan
Influence of Magnetic Field on Electric Charge Trasport in Holmium Thin Film at Low Temperature por Dudas, Jan,Gabani, Stanislav,Bagi, Jozef,Goscianska, Iwona,Hodulikova, Anna
10 
WDM in Courses of Communication Technologies por Filka, Miloslav,Bernkopf, Miroslav