Moiseev Mikhail Yu.
Publication schedule
-
№4 December 2024
-
№1 March 2025
-
№2 June 2025
-
№3 September 2025
Latest issues
- 2024, Volume 17 Issue 3 Full text
- 2024, Volume 17 Issue 2 Full text
- 2024, Volume 17 Issue 1
- 2023, Volume 16 Issue 4 Full text
Automation of reliability analysis of nonrecoverable control systems
- Year: 2012
- Issue: 2
- 1
- 5801
- Pages: 81-90
Static analysis methods for automatic defect detection in multi threaded programs
- Year: 2010
- Issue: 3
- 0
- 5799
- Pages: 77-86
Research on tools for automation of defects detection in program source code
- Year: 2008
- Issue: 5
- 0
- 6197
- Pages: 119-127