The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March/April (1997 vol.14)
pp: 99-106
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.
CITATION
Colin Fidge, Peter Kearney, Mark Utting, "A Formal Method for Building Concurrent Real-Time Software", IEEE Software, vol.14, no. 2, pp. 99-106, March/April 1997, doi:10.1109/52.582979
649 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool