Robert C. Durbeck
IEEE TACON
Paper
The date refinement calculator for Z specifications
Abstract
No abstract available.
Related
J.P. Locquet, J. Perret, et al.
SPIE Optical Science, Engineering, and Instrumentation 1998
Bowen Zhou, Bing Xiang, et al.
SSST 2008
Xinyi Su, Guangyu He, et al.
Dianli Xitong Zidonghua/Automation of Electric Power Systems