Sapiecha, Krzysztof

• Vol 2, No 1 (2004) - Articles
  Validation of reactive embedded systems against specification requirements
  Abstract  PDF
• Vol 2, No 1 (2004) - Articles
  RT-level fast fault simulator
  Abstract  PDF
• Vol 3, No 1 (2005) - Articles
  Experimental data driven robot for pattern classification
  Abstract  PDF
• Vol 3, No 1 (2005) - Articles
  Fault-tolerant control for Scalable Distributed Data Structures
  Abstract  PDF
• Vol 5, No 1 (2006) - Articles
  An application of virtual reality for training and ranking operators of mobile robot
  Abstract  PDF
• Vol 5, No 1 (2006) - Articles
  Detecting changes in environment of mobile robot
  Abstract  PDF
• Vol 6, No 1 (2007) - Articles
  Fault tolerant control for RP* architecture of Scalable Distributed Data Structures
  Abstract  PDF
• Vol 7, No 1 (2007) - Articles
  Computer-based system for training and selecting mobile robot operators – evolving software tools
  Abstract  PDF
• Vol 8, No 2 (2008) - Articles
  Test scenarios generation for a class of processes defined in the BPEL language
  Abstract  PDF
• Vol 8, No 2 (2008) - Articles
  A procedure of verification of comprehensive tests for selection of candidates for operators of mobile robot
  Abstract  PDF
• Vol 10, No 1 (2010) - Articles
  An Application of Expectation-Maximization for Model Verification
  Abstract  PDF
• Vol 10, No 1 (2010) - Articles
  SDDSfL vs. local disk - a comparative study for Linux
  Abstract  PDF
• Vol 12, No 1 (2012) - Articles
  Resource Allocation Optimization in Critical Chain Method
  Abstract  PDF
• Vol 13, No 1 (2013) - Articles
  How validation can help in testing business processes orchestrating web services
  Abstract  PDF