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 × USA
Collaborated with:
D.Clarke H.Ben-Abdallah I.Lee O.Sokolsky
Talks about:
toolset (1) textual (1) resourc (1) graphic (1) analysi (1) xversa (1) specif (1) integr (1) sytem (1) bound (1)

Person: Hong-liang Xie

DBLP DBLP: Xie:Hong=liang

Contributed to:

CAV 19961996

Wrote 1 papers:

CAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.

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.