Skip to main content
English
Deutsch
Español
Français
Log In
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Research Outputs
Fundings & Projects
People
Statistics
English
Deutsch
Español
Français
Log In
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Home
TEST
Import Publication PUMA
Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML
Details
Export
Statistics
Options
Show all metadata (technical view)
Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UML
Date Issued
2005
Author(s)
Giese, Holger
Hirsch, Martin