( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A verification system for interval-based specification languages.

, , , и . ACM Trans. Softw. Eng. Methodol., 19 (4): 13:1-13:36 (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.

Jun Sun

Yue-Jun Sun

Jun Jun Lu

Yü-Sün Sun

Jun Li

 

Другие публикации лиц с тем же именем

Combinatorial online high-order interactive feature selection based on dynamic graph convolution network., , , , и . Signal Process., (ноября 2023)Proportional feedback based rate control for intra frame of H.264/AVC high profile., , , и . APSIPA, стр. 1-4. IEEE, (2014)Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation., , и . CoRR, (2016)Concolic Testing Heap-Manipulating Programs., , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 442-461. Springer, (2019)A Light-Weight Context-Aware Self-Attention Model for Skin Lesion Segmentation., , , , и . PRICAI (3), том 11672 из Lecture Notes in Computer Science, стр. 501-505. Springer, (2019)Regular Symmetry Patterns (Technical Report)., , , и . CoRR, (2015)Design Synthesis from Interaction and State-Based Specifications., и . IEEE Trans. Software Eng., 32 (6): 349-364 (2006)Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences., , , , и . ASE, стр. 962-973. IEEE, (2019)An Implementation of the Decision Feedback Equalizer Based on Delay-Matched Structure., , , , и . TBC, 54 (3): 468-476 (2008)Collaborative diversity control strategy for random drift particle swarm optimization., , , , и . GECCO (Companion), стр. 99-100. ACM, (2019)