Author of the publication

Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.

, , , , and . COMPSAC, page 539-548. IEEE Computer Society, (2013)

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

Self-Learning Disk Scheduling., and . IEEE Trans. Knowl. Data Eng., 21 (1): 50-65 (2009)A multi-agent framework for mining semantic relations from linked data., , , , and . Journal of Zhejiang University - Science C, 13 (4): 295-307 (2012)Centralized and distributed resource allocation in OFDM based multi-relay system., , , , and . Journal of Zhejiang University - Science C, 11 (6): 450-464 (2010)New routing algorithms in trustworthy Internet., , , , , , and . Computer Communications, 31 (14): 3533-3536 (2008)PID tuning for improved performance., , , , and . IEEE Trans. Contr. Sys. Techn., 7 (4): 457-465 (1999)Laser Vision-Based Plant Geometries Computation in Greenhouses., and . Journal of Multimedia, 9 (4): 534-541 (2014)A coordinate SPC model for assuring designated fit quality via quality-oriented statistical tolerancing., and . Computers & Industrial Engineering, 57 (1): 73-79 (2009)A Dynamic Temperature Controlling Method for Processors in Constrained Sealed Spaces., and . JCP, 8 (12): 3066-3071 (2013)Determination of the unique orientation of two bodies connected by a ball-and-socket joint from four measured displacements., , and . J. Field Robotics, 15 (5): 299-308 (1998)A Constraint-Based Robotic Soccer Team., and . Constraints, 7 (1): 7-28 (2002)