Formal Validation of DNA Database Using Theorem Proving Technique
This paper discusses the formal validation of DNA database system. A DNA database is a large, organized body of persistent data, usually associated with computerized software designed to update, query, and retrieve components of the data stored within the system. One of the common diff...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://eprints.unisza.edu.my/2892/1/FH02-FIK-14-00743.pdf http://eprints.unisza.edu.my/2892/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Sultan Zainal Abidin |
| Language: | English |