スマートモビリティ研究開発センター

研究成果 2003 2017

フィルター
論文
2014
4 引用 (Scopus)

An SMT-based accurate algorithm for the K-coverage problem in sensor network

Kong, W., Li, M., Han, L. & Fukuda, A., 1 1 2014, p. 240-245. 6 p.

研究成果: 会議への寄与タイプ論文

Sensor networks
Wireless sensor networks
Quality of service
Sensors
2013
3 引用 (Scopus)

A survey of acceleration techniques for SMT-based bounded model checking

Liu, L., Kong, W., Ando, T., Yatsu, H. & Fukuda, A., 1 1 2013, p. 554-559. 6 p.

研究成果: 会議への寄与タイプ論文

Surface mount technology
Model checking
Binary decision diagrams
Temporal logic
Switches