Author of the publication

Towards Verifying VDM Using SPIN.

, , , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 241-256. Springer, (2015)

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

Application of Gray Relational Analysis and Computational Fluid Dynamics to the Statistical Techniques of Product Designs., , and . Symmetry, 12 (2): 227 (2020)Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking., , and . IEICE Trans. Inf. Syst., 95-D (7): 1882-1893 (2012)A Chinese Math Word Problem Solving System Based on Linguistic Theory and Non-statistical Approach., , , , and . ROCLING, page 208-222. The Association for Computational Linguistics and Chinese Language Processing (ACLCLP), (2020)J-ReCoVer: Java Reducer Commutativity Verifier., , , , , , , and . APLAS, volume 11893 of Lecture Notes in Computer Science, page 357-366. Springer, (2019)Requirements Development of Energy Management System for a Unit in Smart Campus., , , and . IIAI-AAI, page 405-410. IEEE Computer Society, (2014)Automated Adaptor Generation for Services Based on Pushdown Model Checking., , and . ECBS, page 130-139. IEEE Computer Society, (2011)A Distributed Sleep Scheduling Algorithm with Range Adjustment for Wireless Sensor Networks., , and . ICCCI (3), volume 6423 of Lecture Notes in Computer Science, page 387-397. Springer, (2010)Power-Aware Real-Time Scheduling Using Pinwheel Model and Profiling Technique., and . RTCSA, page 299-304. IEEE Computer Society, (2005)The Spotlight Effects of LED Lighting Design for Deep Aquarium Tanks., , and . ICKII, page 358-361. IEEE, (2019)Effects of Expandable Optical Design for LED Lighting Products., , and . ICKII, page 354-357. IEEE, (2019)