Mieścicki, Jerzy

• Vol 4, No 1 (2006) - Articles
  The use of model checking and the COSMA environment in the design of reactive systems
  Abstract  PDF
• Vol 4, No 1 (2006) - Articles
  Behavioral an real-time verification of a pipeline in the COSMA environment
  Abstract  PDF