Refinement of Hybrid Systems from Formal Models to Design Languages.

Jan Romberg, Christoph Grimm

Browse the full FDL paper archive.