Conference
Petri Based Formal Verification of Device Management Protocol for A Lighting Control System
Authors
Jiang Y; Zhang J; Jiang W; Ren H
Editors
Wan Y; Shao L; Wang L; Sun J; Nan J; Zhang Q
Pagination
pp. 1053-1057
Publisher
IEEE
Publication Date
2014
Name of conference
7th International Congress on Image and Signal Processing (CISP)
Conference place
PEOPLES R CHINA, Dalian
Conference start date
October 14, 2014
Conference end date
October 16, 2014
Conference proceedings
2014 7TH INTERNATIONAL CONGRESS ON IMAGE AND SIGNAL PROCESSING (CISP 2014)