| |
| 2008 | ||
|---|---|---|
| 7 | EE | Krzysztof Sacha: Model-Based Implementation of Real-Time Systems. SAFECOMP 2008: 332-345 |
| 2007 | ||
| 6 | EE | Krzysztof Sacha: Translatable Finite State Time Machine. SDL Forum 2007: 117-132 |
| 5 | Krzysztof Sacha: Software Engineering Practices: An Auditor's Perspective. SoMeT 2007: 36-51 | |
| 2006 | ||
| 4 | EE | Krzysztof Sacha: Evaluation of Expected Software Quality: A Customer's Viewpoint. FASE 2006: 170-183 |
| 2005 | ||
| 3 | EE | Krzysztof Sacha: Automatic Code Generation for PLC Controllers. SAFECOMP 2005: 303-316 |
| 2 | Krzysztof Sacha: Evaluation of Software Quality. Software Engineering: Evolution and Emerging Technologies 2005: 381-388 | |
| 1998 | ||
| 1 | EE | Krzysztof Sacha: Safety Verification of Software Using Structured Petri Nets. SAFECOMP 1998: 329-342 |