A New Approach for Design and Verification of Transaction Level Models.
Mohammad Reza KakoeeHamid ShojaeiHassan GhasemzadehMarjan SirjaniZainalabedin NavabiPublished in: ISCAS (2007)
Keyphrases
- database
- real time
- functional verification
- design principles
- case study
- artificial intelligence
- model selection
- knowledge based systems
- design process
- computational models
- metamodel
- data mining
- user interface
- complex systems
- model checking
- statistical models
- conceptual model
- engineering design
- design methodology
- formal verification