Comparative Evaluations of Four Specification Methods for Real-Time Systems
David Phillip Wood, William Graham Wood · 1989
The ideas and findings in this report should not be construed as an official DoD position. It is published in the interest of scientific and technical information exchange. FOR THE COMMANDER (signature on file)