A benchmark for comparing different approaches for specifying and verifying real-time systems (1993)

by C. L. Heitmeyer , B. G. Labaw , R. D. Jeffords
Venue:IN PROC. 10 TH IEEE WORKSHOP ON REAL-TIME OPERATING SYSTEMS AND SOFTWARE
Citations:44 - 3 self