A method for developing formal contextual requirements for the verification of software logic control systems
Shoshmina, Irina Vladimirovna, 2015, Candidate of Sciences dissertation
Saint Petersburg Polytechnic University, Saint Petersburg
228 pp.
Keywords
verification of software systems, logic control systems
More works in this specialty
- Methods and algorithms for integrating a large volume of bibliographic records into an open semantic space
Shorin, Oleg Nikolaevich · 2016 · Candidate of Sciences · Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences
- Methods for constructing software systems for automating experiments in neutron spectrometry using network technologies
Salamatin, Kirill Markovich · 2015 · Candidate of Sciences · Joint Institute for Nuclear Research (JINR)
- Development and study of simulation modeling methods and software tools for building dynamic integrated expert systems
So Ti Ha Aung · 2015 · Candidate of Sciences · National Research Nuclear University
- Methods and software tools for decision choice support based on direct and inverse fuzzy evaluation
Fedulov, Yaroslav Alexandrovich · 2015 · Candidate of Sciences · National Research University Moscow Power Engineering Institute
- Methods and tools for solving problems of data search and secure storage using hybrid computing technologies
Rovnyagin, Mikhail Mikhailovich · 2015 · Candidate of Sciences · National Research Nuclear University