Embedded and Ubiquitous Computing - EUC 2005 Workshops: EUC ...
Preview
M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP . International Series in Software Engineering. McGraw-Hill International, London , UK, 1995. 8. M. G. Hinchey, J. L. Rash, and C. A. Rouff. Requirements to ...