Deniziak, Stanisław

• 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