Tomasz Janowski
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 1949619 (Why is no real title available?) | 2003-07-15 | Paper |
| Formalising Feasibility and Correctness of Distributed Business Processes Conceptual Modeling for New Information Systems Technologies | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1569134 (Why is no real title available?) | 2001-02-22 | Paper |
| Dynamic scheduling and fault-tolerance: Specification and verification Real-Time Systems | 2001-02-18 | Paper |
| Verification of schedulability for real-time programs Formal Aspects of Computing | 1996-05-27 | Paper |
Research outcomes over time
This page was built for person: Tomasz Janowski
