Search Results - Maxim V. Neyzov

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Using TLA+/TLC for modeling and verification of cryptographic protocols

    Using TLA+/TLC for modeling and verification of cryptographic protocols by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2024-12-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    LTL-specification for development and verification of control programs

    LTL-specification for development and verification of control programs by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2023-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    LTL-specification for development and verification of logical control programs in feedback systems

    LTL-specification for development and verification of logical control programs in feedback systems by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2024-09-01
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Verification of declarative LTL-specification of control programs behavior

    Verification of declarative LTL-specification of control programs behavior by Maxim V. Neyzov, Egor V. Kuzmin

    Published 2024-06-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: