| * | 2009 |
|---|
| 11 | | Krzysztof Sacha:
Model-based Design of Code for PLC Controllers.
ICINCO-SPSMC 2009: 130-135 |
| 2008 |
|---|
| 10 | EE | Krzysztof Sacha:
Model-Based Implementation of Real-Time Systems.
SAFECOMP 2008: 332-345 |
| 2007 |
|---|
| 9 | EE | Krzysztof Sacha:
Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland
Springer 2007 |
| 8 | EE | Krzysztof Sacha:
Translatable Finite State Time Machine.
SDL Forum 2007: 117-132 |
| 7 | | Krzysztof Sacha:
Software Engineering Practices: An Auditor's Perspective.
SoMeT 2007: 36-51 |
| 2006 |
|---|
| 6 | EE | Krzysztof Sacha:
Evaluation of Expected Software Quality: A Customer's Viewpoint.
FASE 2006: 170-183 |
| 5 | | Krzysztof Sacha:
Preface.
SET 2006: v |
| 2005 |
|---|
| 4 | EE | Krzysztof Sacha:
Automatic Code Generation for PLC Controllers.
SAFECOMP 2005: 303-316 |
| 3 | | Krzysztof Sacha:
Evaluation of Software Quality.
Software Engineering: Evolution and Emerging Technologies 2005: 381-388 |
| 1998 |
|---|
| 2 | EE | Krzysztof Sacha:
Safety Verification of Software Using Structured Petri Nets.
SAFECOMP 1998: 329-342 |
| 1994 |
|---|
| 1 | | Krzysztof Sacha:
Real-Time Software Specification and Validation with Transnet.
Real-Time Systems 6(2): 153-172 (1994) |
