Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Theorem prover approach to semistructured data design.

S. Lee, G. Dobbie, J. Sun, and L. Groves. Formal Methods in System Design, 37 (1): 1-60 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Xinxin Jing University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jing Song University of Stuttgart

Dr. Kaicong Sun University of Stuttgart

Jun. -Prof. Sun Hea Hong University of Stuttgart

Other publications of authors with the same name

Formal Semantics and Verification for Feature Modeling.J. Sun, H. Zhang, Y. Li, and H. Wang. ICECCS, page 303-312. IEEE Computer Society, (2005)Web Services Testing via Goal and Mutation.M. Jokhio, G. Dobbie, J. Sun, and T. Hu. ICECCS, page 159-162. IEEE Computer Society, (2013)The Research of Health Assessment of E-business Ecosystem.Y. Jiang, W. Shi, and J. Sun. WHICEB, page 52. Association for Information Systems, (2013)Computer-aided dispatch system family architecture and verification: an integrated formal approach.J. Sun, J. Dong, S. Jarzabek, and H. Wang. IEE Proceedings - Software, 153 (3): 102-112 (2006)Theorem prover approach to semistructured data design.S. Lee, G. Dobbie, J. Sun, and L. Groves. Formal Methods in System Design, 37 (1): 1-60 (2010)An Improved Chaos-Based Stream Cipher Algorithm and its VLSI Implementation.S. Liu, J. Sun, Z. Xu, and Z. Cai. NCM (2), page 191-197. IEEE Computer Society, (2008)978-0-7695-3322-3.TRMCS in TCOZ.J. Liu, J. Dong, and J. Sun. IWSSD, page 63-74. IEEE Computer Society, (2000)Extended tail-biting schemes for turbo codes.J. Sun, and O. Takeshita. IEEE Communications Letters, 9 (3): 252-254 (2005)Model Reference Adaptive Control.J. Sun. Encyclopedia of Systems and Control, Springer, (2015)Optimization of Thorax-Pelvic Airbag for Occupant Safety in Vehicle Side Impact.J. Sun, and J. Yang. ICDMA, page 586-589. IEEE Computer Society, (2012)

PUMA

Disambiguation of "Sun, Jing"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Theorem prover approach to semistructured data design.

Please choose a person to relate this publication to

Dr. Xinxin Jing University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jing Song University of Stuttgart

Dr. Kaicong Sun University of Stuttgart

Jun. -Prof. Sun Hea Hong University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Sun, Jing"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Theorem prover approach to semistructured data design.

Please choose a person to relate this publication to

Dr. Xinxin Jing University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jing Song University of Stuttgart

Dr. Kaicong Sun University of Stuttgart

Jun. -Prof. Sun Hea Hong University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Theorem prover approach to semistructured data design.