BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Singapore
1 × USA
2 × China
Collaborated with:
X.Li Y.Li J.Gu K.Liang R.Sheng K.Zhang L.Shan Y.Wang N.Fu L.Zhao L.Wan L.Qiao J.Chen
Talks about:
distribut (3) implement (2) servic (2) time (2) architectur (1) research (1) softwar (1) resourc (1) environ (1) control (1)

Person: Xingshe Zhou

DBLP DBLP: Zhou:Xingshe

Contributed to:

FM 20142014
SAC 20092009
TOOLS Asia 20002000
TOOLS Asia 19981998

Wrote 4 papers:

FM-2014-ShanWFZZWQC #using #verification
Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
SAC-2009-LiangZSZ #adaptation #architecture #distributed #embedded #realtime #resource management
Adaptive resource management architecture for distributed real-time embedded systems (KL, XZ, RS, KZ), pp. 1050–1055.
TOOLS-ASIA-2000-XingsheX #corba #design #implementation #security
Design and Implementation of CORBA Security Service (XZ, XL), pp. 140–147.
TOOLS-ASIA-1998-LiZG #distributed #implementation #research
Research and Implementation of Distributed Time Service in Distributed Object Environment (YL, XZ, JG), pp. 340–345.

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.