𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Tabular Verification and Refinement

✍ Scribed by Emil Sekerinski

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
768 KB
Volume
70
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Refinement complements verification and
Refinement complements verification and validation
✍ Susan Craw πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 262 KB

email : smc Γͺ scms .rgu .ac .uk Knowledge based systems are being applied in ever increasing numbers . The development of knowledge acquisition tools has eased the ''Knowledge Acquisition Bottleneck'' . More recently there has been a demand for mechanisms to assure the quality of knowledge based sys

Automated verification of refinement law
Automated verification of refinement laws
✍ Peter HΓΆfner; Georg Struth; Geoff Sutcliffe πŸ“‚ Article πŸ“… 2009 πŸ› Springer Netherlands 🌐 English βš– 411 KB