Toward on-demand wafer fab simulation using formal structure & behavior models.
Edward HuangKy Sang KwonLeon F. McGinnisPublished in: WSC (2008)
Keyphrases
- simulation models
- mathematical models
- simulation model
- genetic algorithm
- case study
- probabilistic model
- physical systems
- statistical models
- reactive systems
- neural network
- agent based models
- formal models
- analytical model
- formal methods
- integrated circuit
- formal model
- model selection
- artificial neural networks
- knowledge base
- information systems