1541 search results - page 309 / 309 » Tools and Techniques for Model Checking Networked Programs |
154
click to vote
ECBS
1996
IEEE
15 years 7 months ago
1996
IEEE
Naval Surface Warfare Center Dahlgren Division; under joint sponsorship of the Office of Naval Research; the Naval Command, Control, and Ocean Surveillance Center; and the Naval S...