Sciweavers

13913 search results - page 18 / 2783
» models 2007
Sort
View
FORTE
2007
14 years 11 months ago
Testing Distributed Systems Through Symbolic Model Checking
Gabriel Kalyon, Thierry Massart, Cédric Meu...
FORTE
2007
14 years 11 months ago
State Isomorphism in Model Programs with Abstract Data Structures
Margus Veanes, Juhan P. Ernits, Colin Campbell
67
Voted
GEOINFO
2007
14 years 11 months ago
Towards a Geographic Ontology Reference Model for Matching Purposes
Guillermo Nudelman Hess, Cirano Iochpe, Silvana Ca...