A Validation Model for the DSR Protocol
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Validation and testing of sC++ applications
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 0.00 |