846 search results - page 12 / 170 » The Use of Z |
IFM
2000
Springer
13 years 11 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
SPATIALCOGNITION
1998
Springer
13 years 12 months ago
1998
Springer
This chapter gives an overview of our ongoing experimental research in the MeMoSpace project, concerning the cognitive processes underlying human spatial reasoning. Our theoretical...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
BMCBI
2007
13 years 7 months ago
2007