Real-time systems: implementation of industrial computerised process automation WA Halang, KM Sacha World Scientific, 1992 | 76 | 1992 |
Inżynieria oprogramowania K Sacha Wydawnictwo Naukowe PWN SA, 2020 | 71 | 2020 |
Automatic code generation for PLC controllers K Sacha International Conference on Computer Safety, Reliability, and Security, 303-316, 2005 | 38 | 2005 |
Architecting dynamic reconfiguration in dependable systems ATA Gomes, TV Batista, A Joolia, G Coulson Architecting Dependable Systems IV, 237-261, 2007 | 34* | 2007 |
Measuring the real-time operating system performance KM Sacha Proceedings Seventh Euromicro Workshop on Real-Time Systems, 34-40, 1995 | 30 | 1995 |
Verification and implementation of dependable controllers K Sacha 2008 Third International Conference on Dependability of Computer Systems …, 2008 | 23 | 2008 |
Systemy czasu rzeczywistego K Sacha Oficyna Wydawnicza Politechniki Warszawskiej, 1993 | 23 | 1993 |
Evaluation of software quality K Zielinski, T Szmuc Frontiers in Artificial Intelligence and Applications, 381, 2005 | 19 | 2005 |
Translatable finite state time machine K Sacha International SDL Forum, 117-132, 2007 | 18 | 2007 |
Sieci miejscowe PROFIBUS K Sacha Zakład Nauczania Informatyki Mikom, 1998 | 17 | 1998 |
The semantics of role-based trust management languages A Felkner, K Sacha IFIP Central and East European Conference on Software Engineering Techniques …, 2009 | 12 | 2009 |
Verification and implementation of software for dependable controllers K Sacha International Journal of Critical Computer-Based Systems 1 (1-3), 238-254, 2010 | 11 | 2010 |
Software engineering techniques: design for quality K Sacha Springer, 2007 | 10 | 2007 |
Safety verification of software using structured Petri nets K Sacha International Conference on Computer Safety, Reliability, and Security, 329-342, 1998 | 10 | 1998 |
Projektowanie oprogramowania systemów sterujących K Sacha Oficyna Wydawnicza Politechniki Warszawskiej, 1996 | 10 | 1996 |
QNX: system operacyjny K Sacha X-Serwis, 1995 | 10 | 1995 |
Fault analysis using petri nets K Sacha Proc. IEEE Real-time Embedded Systems Workshop, 130-133, 2001 | 9 | 2001 |
Laboratorium systemu QNX K Sacha Oficyna Wydawnicza Politechniki Warszawskiej, 1995 | 9 | 1995 |
Deriving RTT credentials for role-based trust management A Felkner, K Sacha e-Informatica Software Engineering Journal 4 (1), 2010 | 8 | 2010 |
Evaluation of expected software quality: A customer’s viewpoint K Sacha International Conference on Fundamental Approaches to Software Engineering …, 2006 | 8 | 2006 |