Journals
Radioengineering
Antennas
Achievements of Modern Radioelectronics
Electromagnetic Waves and Electronic Systems
Biomedical Radioelectronics
Neurocomputers
Science Intensive Technologies
Information-measuring and Control Systems
Nonlinear World
Technologies of Living Systems
Highly available systems
Dynamics of Complex Systems - XXI century
Nanotechnology : the development , application - XXI Century
All journals
→
Books
About the publisher
For authors
Find a journal
Rules and documents
RU
EN
Radiotekhnika
Journals
All journals
Radioengineering
Antennas
Achievements of Modern Radioelectronics
Electromagnetic Waves and Electronic Systems
Biomedical Radioelectronics
Neurocomputers
Science Intensive Technologies
Information-measuring and Control Systems
Nonlinear World
Technologies of Living Systems
Highly available systems
Dynamics of Complex Systems - XXI century
Nanotechnology : the development , application - XXI Century
Books
About the publisher
For authors
Find a journal
Rules and documents
RU
EN
+7 (495) 625‑92‑41
info@radiotec.ru
Cancel
Article or book title, author's surname, DOI
Home
/
Authors
/
Шапкин П.А.
P.A. Shapkin
Шапкин П.А.
1 articles
2024
Information-measuring and Control Systems
1
2024
Combined system for logical inference and dynamic verification of software component specifications
Information-measuring and Control Systems, No. 5, 2024
pp. 69-79
