Taxonomies for the Development and Verification of Digital Systems, Brian Bailey, Grant Martin, Thomas Anderson (Editors). Springer, New York (2005). 179pp., Hardcover, ISBN: 0-387-24019-5.
Mile K. StojcevPublished in: Microelectron. Reliab. (2007)
Keyphrases
- knowledge based systems
- complex systems
- asynchronous circuits
- model checking
- computer systems
- distributed systems
- enabling technologies
- intelligent systems
- management system
- expert systems
- case study
- digital libraries
- information processing
- knowledge base
- software developers
- design tools
- support systems
- formal methods
- information systems
- neural network