Krzysztof Sacha
Krzysztof Sacha
professor of software engineering, Warsaw University of Technology
Verified email at ia.pw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Real-time systems: implementation of industrial computerised process automation
WA Halang, KM Sacha
World Scientific, 1992
801992
Inżynieria oprogramowania
K Sacha
Wydawnictwo Naukowe PWN SA, 2020
712020
Automatic code generation for PLC controllers
K Sacha
International Conference on Computer Safety, Reliability, and Security, 303-316, 2005
392005
Architecting dynamic reconfiguration in dependable systems
ATA Gomes, TV Batista, A Joolia, G Coulson
Architecting dependable systems IV, 237-261, 2007
35*2007
Measuring the real-time operating system performance
KM Sacha
Proceedings Seventh Euromicro Workshop on Real-Time Systems, 34-40, 1995
301995
Systemy czasu rzeczywistego
K Sacha
Oficyna Wydawnicza Politechniki Warszawskiej, 1993
251993
Verification and implementation of dependable controllers
K Sacha
2008 Third International Conference on Dependability of Computer Systems …, 2008
242008
Evaluation of Software Quality.
K Sacha
Software engineering: evolution and emerging technologies, 381-388, 2005
202005
Sieci miejscowe PROFIBUS
K Sacha
Zakład Nauczania Informatyki Mikom, 1998
191998
Translatable finite state time machine
K Sacha
International SDL Forum, 117-132, 2007
162007
The semantics of role-based trust management languages
A Felkner, K Sacha
IFIP Central and East European Conference on Software Engineering Techniques …, 2009
122009
Verification and implementation of software for dependable controllers
K Sacha
International Journal of Critical Computer-Based Systems 1 (1-3), 238-254, 2010
112010
Projektowanie oprogramowania systemów sterujących
K Sacha
Oficyna Wydawnicza Politechniki Warszawskiej, 1999
111999
Software engineering techniques: design for quality
K Sacha
Springer, 2007
102007
Safety verification of software using structured Petri nets
K Sacha
International Conference on Computer Safety, Reliability, and Security, 329-342, 1998
101998
QNX: system operacyjny
K Sacha
X-Serwis, 1995
101995
Modele i praktyka audytu informatycznego
A Zalewski, R Cegieła, K Sacha
Problemy i metody inĪynierii oprogramowania, WNT, Warszawa, 2003
92003
Fault analysis using petri nets
K Sacha
Proc. IEEE Real-time Embedded Systems Workshop, 130-133, 2001
92001
Laboratorium systemu QNX
K Sacha
Oficyna Wydawnicza Politechniki Warszawskiej, 1995
91995
Deriving RTT credentials for role-based trust management
A Felkner, K Sacha
e-Informatica Software Engineering Journal 4 (1), 2010
82010
The system can't perform the operation now. Try again later.
Articles 1–20