An approach to testing specifications
- 31 December 1983
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 3 (4) , 315-323
- https://doi.org/10.1016/0164-1212(83)90018-3
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- A General Transition Model for Protocols and Communication ServicesIEEE Transactions on Communications, 1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978