English
Русский
Eco-vector
Programming and Computer Software
ISSN 0132-3474 (Print) ISSN 3034-5847 (Online)
Menu     Archives
  • Home
  • About the Journal
    • Editorial Team
    • Editorial Policies
    • Author Guidelines
    • About the Journal
  • Issues
    • Search
    • Current
    • Retracted articles
    • Archives
  • Contact
  • Subscriptions
  • All Journals
Pay with
User
Forgot password? Register
Notifications
  • View
  • Subscribe
Subscription Login to verify subscription
Search
Browse
  • By Issue
  • By Author
  • By Title
  • By Sections
  • Other Journals
  • Categories
Keywords C++ GPU cloud computing computer algebra convolutional neural networks deep learning differentiable rendering formal verification guided modes histology image segmentation model checking neural networks point cloud ray tracing real time rendering security policy language smoothly irregular waveguide symbolic solution of differential equations symbolic solution of linear equations
×
Pay with
User
Forgot password? Register
Notifications
  • View
  • Subscribe
Subscription Login to verify subscription
Search
Browse
  • By Issue
  • By Author
  • By Title
  • By Sections
  • Other Journals
  • Categories
Keywords C++ GPU cloud computing computer algebra convolutional neural networks deep learning differentiable rendering formal verification guided modes histology image segmentation model checking neural networks point cloud ray tracing real time rendering security policy language smoothly irregular waveguide symbolic solution of differential equations symbolic solution of linear equations
Home > Search > Author Details

Author Details

Ryzhov, I. G.

Issue Section Title File
No 4 (2025) INFORMATION SECURITY PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS TLA+
 

 

Developed by ECO-VECTOR

 

Powered by EVESYST

TOP