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

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.

J. Dong, J. Sun, J. Sun, K. Taguchi, and X. Zhang. ICFEM, volume 5256 of Lecture Notes in Computer Science, page 318-337. Springer, (2008)

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.

Jun Sun

Yue-Jun Sun

Jun Jun Lu

Yü-Sün Sun

Jun Yang

Other publications of authors with the same name

Combinatorial online high-order interactive feature selection based on dynamic graph convolution network.W. Wu, J. Sun, S. Chen, C. Ding, and B. Luo. Signal Process., (November 2023)Information Inquiry Activity in Mobile Commerce- The Behavioral Implications of IRE Approach.J. Sun, and M. Poole. AMCIS, page 335. Association for Information Systems, (2004)Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation.Y. Chen, C. Poskitt, and J. Sun. CoRR, (2016)Concolic Testing Heap-Manipulating Programs.L. Pham, Q. Le, Q. Phan, and J. Sun. FM, volume 11800 of Lecture Notes in Computer Science, page 442-461. Springer, (2019)A Light-Weight Context-Aware Self-Attention Model for Skin Lesion Segmentation.D. Ma, H. Wu, J. Sun, C. Yu, and L. Liu. PRICAI (3), volume 11672 of Lecture Notes in Computer Science, page 501-505. Springer, (2019)Robust Chinese Character Recognition by Selection of Binary-Based and Grayscale-Based Classifier.Y. Hotta, J. Sun, Y. Katsuyama, and S. Naoi. Document Analysis Systems, volume 3872 of Lecture Notes in Computer Science, page 553-563. Springer, (2006)Proportional feedback based rate control for intra frame of H.264/AVC high profile.Y. Zhou, Y. Duan, J. Sun, and Z. Guo. APSIPA, page 1-4. IEEE, (2014)Multi-objective random drift particle swarm optimization algorithm with adaptive grids.Y. Yuan, J. Sun, and D. Zhou. CEC, page 2064-2070. IEEE, (2016)Backward Adaptive Pre/Post-Filtered DPCM with Near-Optimal Rate-Distortion Performance.Y. Fan, J. Wang, J. Sun, and R. Xie. ICC, page 1-5. IEEE, (2010)Geometric calibration of focused light field camera for 3-D flame temperature measurement.J. Sun, C. Xu, B. Zhang, S. Wang, M. Hossain, H. Qi, and H. Tan. I2MTC, page 1-6. IEEE, (2016)

BibSonomy

Disambiguation of "Sun, Jun"

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

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.

Please choose a person to relate this publication to

Jun Sun

Yue-Jun Sun

Jun Jun Lu

Yü-Sün Sun

Jun Yang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Sun, Jun"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.

Please choose a person to relate this publication to

Jun Sun

Yue-Jun Sun

Jun Jun Lu

Yü-Sün Sun

Jun Yang

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

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.