Showing 1 - 3 results of 3 for search 'Agnieszka M. Zbrzezny', query time: 0.02s Refine Results
  1. 1
    Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks

    Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks by Agnieszka M. Zbrzezny, Andrzej Zbrzezny

    Published 2022-12-01
    Get full text
    Article
  2. 2
    Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols

    Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols by Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Mirosław Kurkowski

    Published 2024-11-01
    Get full text
    Article
  3. 3
    SAT and SMT-Based Verification of Security Protocols Including Time Aspects

    SAT and SMT-Based Verification of Security Protocols Including Time Aspects by Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski

    Published 2021-04-01
    Get full text
    Article

Search Tools: