Results (4)

  • Compositional specifications for ioco testing
    Conference paper
  • Battery transition systems
    Conference paper
  • Model measuring for hybrid systems
    Conference paper