846 search results - page 12 / 170 » The Use of Z |
IFM
2000
Springer
15 years 3 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
15 years 4 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
16 years 13 days ago
2003
ACM
CIKM
2008
Springer
15 years 1 months ago
2008
Springer
BMCBI
2007
14 years 12 months ago
2007