Author of the publication

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.

, , , , and . Mob. Inf. Syst., (2017)

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.

 

Other publications of authors with the same name

Jittor: a novel deep learning framework with meta-operators and unified graph execution., , , , and . Sci. China Inf. Sci., (2020)Scale-Free Model in Software Engineering: A New Design Method., and . GRMSE (2), volume 399 of Communications in Computer and Information Science, page 346-353. Springer, (2013)Development of spaceborne rain radar in China: The first results from airborne dual-frequency rain radar Field campaign., , , , and . IGARSS, page 1551-1553. IEEE, (2011)A Novel Solution to the P4P Problem for an Uncalibrated Camera.. Journal of Mathematical Imaging and Vision, 45 (2): 186-198 (2013)AQCS: Adaptive Queue-Based Chunk Scheduling for P2P Live Streaming., , and . Networking, volume 4982 of Lecture Notes in Computer Science, page 433-444. Springer, (2008)Peer-to-Peer Streaming of Layered Video: Efficiency, Fairness and Incentive., , and . IEEE Trans. Circuits Syst. Video Techn., 21 (8): 1013-1026 (2011)Performance of the minnesota scanner: A prototype for 3-D tracking of moving body segments., , , and . ICRA, page 793-800. IEEE, (1987)Automatic functional test program generation for microprocessor verification., , , , and . ASP-DAC, page 1039-1042. ACM Press, (2005)A note on the number of solutions of the coplanar P4P problem.. ICARCV, page 1413-1418. IEEE, (2012)A minimal solution for plane motion and structure from two perspective views.. Pattern Recognit. Lett., (2019)