Maxim V. Neyzov

Orcid: 0009-0000-6893-6137

According to our database¹, Maxim V. Neyzov authored at least 4 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Using TLA+/TLC for Modeling and Verification of Cryptographic Protocols.

[DOI]

Autom. Control. Comput. Sci., December, 2025

LTL Specification for the Development and Verification of Logical Control Programs in Feedback Systems.

[DOI]

Autom. Control. Comput. Sci., December, 2025

Verification of Declarative LTL Specification of Control Program Behavior.

[DOI]

Autom. Control. Comput. Sci., December, 2025

2024

LTL-Specification for Development and Verification of Control Programs.

[DOI]

Autom. Control. Comput. Sci., December, 2024