Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework.

Stefan Bisanz, Ulrich Hannemann, Jan Peleska

Browse the full COMPSAC paper archive.