The Community for Technology Leaders
Green Image
ABSTRACT
The Quartz method treats time and functional behavior with equal importance in the development process. By modeling program development in a unified framework, argue the authors, we can increase our confidence in the correctness of real-time, concurrent code.
INDEX TERMS
CITATION

M. Utting, C. Fidge and P. Kearney, "A Formal Method for Building Concurrent Real-Time Software," in IEEE Software, vol. 14, no. , pp. 99-106, 1997.
doi:10.1109/52.582979
93 ms
(Ver 3.3 (11022016))