Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The construction here appears to be some kind of product of ADTs, which has monotonicity properties with respect to refinement.
- 2.
References
Araki, K., Galloway, A., & Taguchi, K. (Eds.) (1999). International Conference on Integrated Formal Methods 1999 (IFM’99). York: Springer.
Lynch, N. A., & Vaandrager, F. (1992). Forward and backward simulations for timing-based systems. In J. W. de Bakker, W.-P. de Roever, C. Huizing, & G. Rozenberg (Eds.), Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 1991. Lecture Notes in Computer Science: Vol. 600 (pp. 397–446). Berlin: Springer.
Schneider, S. (2000). Concurrent and Real-Time Systems: the CSP Approach. New York: Wiley.
Smith, G., & Hayes, I. J. (1999) Towards real-time Object-Z. In Araki et al. [1] (pp. 49–65).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag London
About this chapter
Cite this chapter
Derrick, J., Boiten, E.A. (2014). Case Study: A Digital and Analogue Watch. In: Refinement in Z and Object-Z. Springer, London. https://doi.org/10.1007/978-1-4471-5355-9_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-5355-9_13
Publisher Name: Springer, London
Print ISBN: 978-1-4471-5354-2
Online ISBN: 978-1-4471-5355-9
eBook Packages: Computer ScienceComputer Science (R0)