Login / Signup
A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification.
Muhammad Waseem Anwar
Muhammad Rashid
Farooque Azam
Aamir Naeem
Muhammad Kashif
Wasi Haider Butt
Published in:
IEEE Access (2020)
Keyphrases
</>
database systems
theoretical framework
databases
lightweight
unified model
database
information retrieval
information systems
main contribution
computational model