Sciweavers

846 search results - page 9 / 170
» The Use of Z
Sort
View
53
Voted
VISAPP
2008
15 years 1 months ago
Projective Image Alignment by Using ECC Maximization
Georgios D. Evangelidis, Emmanouil Z. Psarakis
AMAST
2004
Springer
15 years 3 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith