Publications
Filters: First Letter Of Title is D [Clear All Filters]
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.
"Diagnostics of coordinate components of purposeful arm movements of a human.",
Theory and Methods of Physical Education, issue 44, Ukraine, pp. 8-11, June, 2008.
Ukraine
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Dependability Analysis in The Early Phases of Uml-based System Design",
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001.
Abstract
"Design and implementation of an improved and reliable pressurizer controller at the Paks NPP",
Fault Detection, Supervision and Safety of Technical Processes: 7th IFAC International Symposium (SAFEPROCESS), Barcelona, IFAC, pp. 1162 - 1167, 2009.
"Development of safety software for the Paks Nuclear Power Plant",
ERCIM News, issue 75, pp. 53 - 54, 2008.