 | 2008 |
|---|
| 7 |       | Rafal Mrowka,
Tomasz Szmuc:
UML Statecharts Compositional Semantics in LOTOS.
ISPDC 2008: 459-463 |
| 2007 |
|---|
| 6 | | Marcin Szpyrka,
Tomasz Szmuc:
Decision Tables in Petri Net Models.
RSEISP 2007: 648-657 |
| 2006 |
|---|
| 5 | | Marcin Szpyrka,
Tomasz Szmuc:
Verification of Automatic Train Protection Systems with RTCP-Nets.
SAFECOMP 2006: 344-357 |
| 4 | | Marcin Szpyrka,
Tomasz Szmuc:
Integrated Approach to Modelling and Analysis using RTCP-nets.
SET 2006: 115-120 |
| 2005 |
|---|
| 3 |  | Krzysztof Zielinski,
Tomasz Szmuc:
Software Engineering: Evolution and Emerging Technologies
IOS Press 2005 |
| 2 | | Slawomir Samolej,
Tomasz Szmuc:
TCPN-Based Tool for Timing Constraints Modelling and Validation.
Software Engineering: Evolution and Emerging Technologies 2005: 194-205 |
| 1 | | Grzegorz Rogus,
Tomasz Szmuc:
Modeling and Verification of Reactive Software Using LOTOS.
Software Engineering: Evolution and Emerging Technologies 2005: 365-377 |
