Sciweavers

77016 search results - page 106 / 15404
» Modeling
Sort
View
88
Voted
CAV
1999
Springer
85views Hardware» more  CAV 1999»
15 years 6 months ago
Optimizing Symbolic Model Checking for Constraint-Rich Models
Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...
118
Voted
EKAW
1997
Springer
15 years 6 months ago
An Enterprise reference Scheme for Integrating Model Based Knowledge Engineering and Enterprise Modelling
Stefan Decker, Manfred Daniel, Michael Erdmann, Ru...
« Prev « First page 106 / 15404 Last » Next »