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: Xie:Hong=liang
Contributed to:
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.