Login / Signup

Reachset Conformance Testing of Hybrid Automata.

Hendrik RoehmJens OehlerkingMatthias WoehrleMatthias Althoff
Published in: HSCC (2016)
Keyphrases
  • hybrid automata
  • finite state automata
  • test cases
  • test data