dblp.uni-trier.dewww.uni-trier.de

Krzysztof Sacha

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEKrzysztof Sacha: Model-Based Implementation of Real-Time Systems. SAFECOMP 2008: 332-345
2007
6EEKrzysztof 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
4EEKrzysztof Sacha: Evaluation of Expected Software Quality: A Customer's Viewpoint. FASE 2006: 170-183
2005
3EEKrzysztof 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
1EEKrzysztof Sacha: Safety Verification of Software Using Structured Petri Nets. SAFECOMP 1998: 329-342

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)