Test Suite Generation Technique for Protocols with Nondeterminism 


Vol. 22,  No. 9, pp. 1854-1866, Sep.  1997


PDF
  Statistics
Cumulative Counts from November, 2022
Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.


  Cite this article

[IEEE Style]

김병식 and 전우직, "Test Suite Generation Technique for Protocols with Nondeterminism," The Journal of Korean Institute of Communications and Information Sciences, vol. 22, no. 9, pp. 1854-1866, 1997. DOI: .

[ACM Style]

김병식 and 전우직. 1997. Test Suite Generation Technique for Protocols with Nondeterminism. The Journal of Korean Institute of Communications and Information Sciences, 22, 9, (1997), 1854-1866. DOI: .

[KICS Style]

김병식 and 전우직, "Test Suite Generation Technique for Protocols with Nondeterminism," The Journal of Korean Institute of Communications and Information Sciences, vol. 22, no. 9, pp. 1854-1866, 9. 1997.