Modeling and Digital Simulation for Design Verification and Diagnosis.
Stephen A. SzygendaEdward W. ThompsonPublished in: IEEE Trans. Computers (1976)
Keyphrases
- circuit design
- user interface
- design process
- discrete event simulation
- case study
- multiagent based simulation
- neural network
- colored petri nets
- formal methods
- simulation environment
- design decisions
- design principles
- software architecture
- modeling method
- model based diagnosis
- simulation tool
- simulation software
- simulation model
- simulation tools
- multi agent