Showing 1 - 5 results of 5 for search 'Natalia O. Garanina', query time: 0.01s
Refine Results
-
1
An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms by Natalia O. Garanina
Published 2024-12-01Get full text
Article -
2
Requirement patterns in deductive verification of poST Programs by Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina
Published 2024-03-01Get full text
Article -
3
Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova
Published 2018-12-01Get full text
Article -
4
Methods for Domain Specification of Verification-Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin
Published 2019-12-01Get full text
Article -
5
Model checking programs in process-oriented IEC 61131-3 Structured Text by Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev
Published 2024-03-01Get full text
Article