MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Wolfgang Mueller" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 67 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Combining Formal Refinement and Model Checking for Real-Time Systems Verification  
  • by A. Krupp, Wolfgang Mueller — 2003
  • …We present a framework which combines model checking and theorem prover based refinement for the design of real-time systems focusing on the refinement step when annotating the state-oriented model with timing information. Our verification flow starts from a cycle-accurate finite state machine for t…
  • Add To MetaCart
  • Formal Semantics Of OCL Messages  
  • by Stephan Flake, Wolfgang Mueller — 2003
  • … and Wolfgang Mueller 1 C-LAB, Paderborn University Fuerstenallee 11 33102 Paderborn, Germany The latest OCL 2…
  • Add To MetaCart
  • An OCL Extension for Real-Time Constraints  
  • by Stephan Flake, Wolfgang Mueller — 2002 — Advances in Object Modelling with the OCL, Lecture Notes in Computer Science
  • …An OCL Extension for Real-Time Constraints Stephan Flake and Wolfgang Mueller C-LAB, Paderborn…
  • Cited by 20 (6 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB