MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "An Analysis of Forward Simulation Data Refinement." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • An Analysis of Forward Simulation Data Refinement  
  • by Moshe Deutsch, Martin C. Henson — 2003 — ZB 2003: Formal Specification and Development in Z and B, volume 2651 of Lecture Notes in Computer Science
  • …An Analysis of Forward Simulation Data Refinement Moshe Deutsch and Martin C. Henson Department…
  • Cited by 3 (1 self) – Add To MetaCart
  • Four Theories for Backward Simulation Data-Refinement  
  • by Moshe Deutsch, Martin C. Henson — 2003 — RCS'03 -- 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, bo Academi, Turku
  • …. In this paper we have not provided an analysis of forward simulation data-refinement. The results in this paper…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB