Refine Results
Years
  1. 2014 (12)
Affiliation
  1. IST Austria (12)
Open access
  1. yes (repository) (12)
Peer reviewed
  1. yes (9)
  2. no (3)
Invited
  1. no (12)

Results (12)

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