BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × The Netherlands
Collaborated with:
A.R.Cavalli P.Maigron
Talks about:
protocol (2) generat (2) conform (2) test (2) system (1) specif (1) rewrit (1) method (1) formal (1) graph (1)

Person: Sung Un Kim

DBLP DBLP: Kim:Sung_Un

Contributed to:

IWPTS 19921992
IWPTS 19911991

Wrote 2 papers:

IWPTS-1992-CavalliMK #automation #consistency #formal method #generative #protocol #specification #testing
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.
IWPTS-1991-CavalliK #consistency #generative #graph grammar #protocol #term rewriting #testing #using
Protocol Conformance Test Generation Using a Graph Rewriting System (ARC, SUK), pp. 285–288.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.