Search Results - Wiktor Daszczuk

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)

    Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS) by Wiktor Daszczuk

    Published 2018-09-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)

    Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS) by Wiktor Daszczuk, Jakub Jałowiec

    Published 2023-10-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    An Experimentation Framework for Specification and Verification of Web Services

    An Experimentation Framework for Specification and Verification of Web Services by Szymon Katra, Wiktor Daszczuk, Danny Czejdo

    Published 2022-09-01
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: