Login / Signup
Jakub Jalowiec
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Distributed Computing
Business Process
Fault Tolerance
Top Venues
FedCSIS (Communication Papers)
</>
Publications
</>
Wiktor B. Daszczuk
,
Jakub Jalowiec
Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS).
FedCSIS (Communication Papers)
(2023)