Biblio
Export 62 results:
Filters: Author is Vyacheslav Kharchenko [Clear All Filters]
FPGA-based NPP Instrumentation and Control Systems: Development and Safety Assessment. Kirovograd: RPC Radiy, 2008.
MASTAC: New Curriculum for Master and Doctoral Studies in Critical Software and Computing In International Conference on Software Engineering SEESE Workshop. Leipzig, 2008.
Modeling Dependable Systems and Networks. Kharkiv: National Aerospace University, 2008.
Dependable Computing Systems in Support of Transformation of the Force Information Infrastructure." Information & Security: An International Journal 22 (2007): 75-91.
"Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components." In Dependable Computer Systems DepCoS-RELCOMEX Conference, Szklarska Poreba., 2007.
"F(I)MEA-technique of Web Services Analysis and Dependability Ensuring." In Rigorous Development of Complex Fault-Tolerant Systems, Lecture Notes in Computer Science, 153-167. Vol. 4157., 2006.
"F(I)MEA-Technique of Web-services Analysis and Dependability Ensuring." Rigorous Development of Complex Fault-Tolerant Systems (2006).
"Development of Dependable Web Services out of Undependable Web Components." Technical Report CS-TR (Newcastle: School of Computing Science (2004).
"The Technique and the Experience of Expertise of Software for NPP Instrumentation and Control Systems In 7th International Conference on Probabilistic Safety Assessment and Management. Berlin, 2004.
Techniques and Tools of Safety-Related Software Requirements Profiling and Assessment In Advanced Computer Systems and Networks Conference. Lviv, Ukraine, 2003.
The Probabilistic Assessment of Survivability and Safety of an Unmanned Control Systems with Multistage Degradation by Use of QD-diagrams In 5th International Conference on Probabilistic Safety Assessment and Management. Osaka, Japan, 2000.
Methods of an Estimation of the Multi-version Safety Systems In 17th International System Safety Conference. Orlando, FL, 1999.
Pages
- « first
- ‹ previous
- 1
- 2
- 3