Author of the publication

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.

, , , , , and . COMPSAC Workshops, page 536-541. IEEE Computer Society, (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

Who will retweet? A prediction method for social hotspots based on dynamic tensor decomposition., , , and . Sci. China Inf. Sci., 61 (9): 098105:1-098105:3 (2018)Sub-footprint analysis to uncover tree height variation using ICESat/GLAS., , and . Int. J. Appl. Earth Obs. Geoinformation, (2015)Impervious surface coverage and their impact on other components of the urban ecosystem in Beijing., , , , and . IGARSS, page 2731-2734. IEEE, (2010)Research on Driving Factors of Land Subsidence with Remote Sensing Technology., , , , and . IGARSS (2), page 396-399. IEEE, (2009)Local Indicator of Colocation Quotient with a Statistical Significance Test: Examining Spatial Association of Crime and Facilities., , , and . CoRR, (2020)From Offline Towards Real-Time Verification for Robot Systems., , , , , , and . IEEE Trans. Ind. Informatics, 14 (4): 1712-1721 (2018)Angle effects of vegetation indices and the influence on prediction of SPAD values in soybean and maize., , , , and . Int. J. Appl. Earth Obs. Geoinformation, (2020)Land Surface Ecosystem Change Due to Natural and Anthropology Effects-The Ordos Case, Inner Mongolia., , , , , , and . IGARSS, page 6479-6482. IEEE, (2019)The dynamic change of the urban thermal environment landscape patterns in Beijing from 2003 to 2011., , , and . IGARSS, page 4245-4248. IEEE, (2013)A low-kickback preamplifier with offset cancellation for pipelined folding A/D Converter., , and . ASICON, page 925-928. IEEE, (2011)