Verifying compositional designs for scenario-based timing specifications
Li Xuandong, Zhao Jianhua, Gong Jiayu, Shi Yaoxin, Zheng Guoliang
Published in Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings (2004)
Published in Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings (2004)
Get full text
Conference Proceeding
One-rocket multi-satellite layout method and system based on separation safety design
ZHAO WEN, CHEN SHIQIANG, ZHANG RAN, XU SHANSHU, LI JINGLIN, LI JUN, GU MINGKUN, LIU YIN, LYU PENGWEI, SHI YAOXIN, WU HANXIAO
Year of Publication 01.03.2024
Get full text
Year of Publication 01.03.2024
Patent
Method for preventing spontaneous combustion of coal pile in circular closed coal yard
LI HAICHEN, ZHOU PING, CUI NANSHOU, JIA YUEMING, LIU XUDONG, SUN ZHILIANG, LIU XUAN, LI JIANXUN, SONG YONGLI, LU MENG, LI WENSHENG, SHI YAOXIN, ZHANG BAOJUN, XIA LIN, HE XIAO'AO
Year of Publication 31.07.2018
Get full text
Year of Publication 31.07.2018
Patent