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 wi...
Saved in:
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | http://eprints.unisza.edu.my/2023/1/FH02-FIK-14-00743.pdf http://eprints.unisza.edu.my/2023/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Universiti Sultan Zainal Abidin |
Language: | English |