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

Giese, Holger; Hirsch, Martin

by Holger Giese, Martin Hirsch

Reference:

Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML (Holger Giese, Martin Hirsch), Technical report tr-ri-03-266, University of Paderborn, 2005.

Bibtex Entry:

@TechReport{GH05c_ag,
AUTHOR = {Giese, Holger and Hirsch, Martin},
TITLE = {{Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML}},
YEAR = {2005},
NUMBER = {tr-ri-03-266},
ADDRESS = {Paderborn, Germany},
INSTITUTION = {University of Paderborn}
}