Refining abstractions of hybrid systems using counterexample fragments Conference

Fehnker, A, Clarke, E, Jha, SK et al. (2005). Refining abstractions of hybrid systems using counterexample fragments . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 3414 242-257.

Industry Collaboration International Collaboration

cited authors

  • Fehnker, A; Clarke, E; Jha, SK; Krogh, B

authors

date/time interval

  • March 9, 2005 -

publication date

  • January 1, 2005

published in

keywords

  • AUTOMATA
  • Automation & Control Systems
  • Computer Science
  • Computer Science, Theory & Methods
  • Science & Technology
  • Technology

Location

  • SWITZERLAND, Zurich

International Standard Book Number (ISBN) 10

Conference

  • 8th International Workshop on Hybrid Systems - Computation and Control

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 242

end page

  • 257

volume

  • 3414