Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML

Date Issued
2005
Author(s)
Giese, Holger
Hirsch, Martin