![]() | ![]() |
2008 | ||
---|---|---|
6 | EE | Rafal Mrowka, Tomasz Szmuc: UML Statecharts Compositional Semantics in LOTOS. ISPDC 2008: 459-463 |
2007 | ||
5 | EE | Marcin Szpyrka, Tomasz Szmuc: Decision Tables in Petri Net Models. RSEISP 2007: 648-657 |
2006 | ||
4 | EE | Marcin Szpyrka, Tomasz Szmuc: Verification of Automatic Train Protection Systems with RTCP-Nets. SAFECOMP 2006: 344-357 |
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 |
1 | Rafal Mrowka | [6] |
2 | Grzegorz Rogus | [1] |
3 | Slawomir Samolej | [2] |
4 | Marcin Szpyrka | [4] [5] |
5 | Krzysztof Zielinski | [3] |