Transaction Level Modeling for Early Verification on Embedded System Design.

Maman Abdurohman Kuspriyanto Sarwono Sutikno Arif Sasongko

Published in: ACIS-ICIS (2009)

Keyphrases

database
case study
building blocks
design process
modeling method
functional verification
real time
electronic commerce
distributed databases
design decisions
design tools
face verification
formal verification