Sciweavers

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