DSpace Repository

Browsing by Title

Browsing by Title

Sort by: Order: Results:

  • J. SUN; J. S. DONG; J. LIU; H. WANG (2001-01-01)
    Recent effort and success in formal methods have been concentrated on building 'heavy' tools support, such as theorem provers and model checkers. Although those tools are essential and important for applications of formal ...
  • Jin Song Dong; Jing Sun; Hai Wang (2002-06-01)
    The World Wide Web provides an important infrastructure for a promising environment for formal specification and design activities because it allows sharing of various design models and provides hyper textual links among ...

Search DSpace


My Account