Formal approach to produce verified programs for wireless sensor nodes. - Toshiaki Miyazaki; Naoki Akiyama (CSNDSP, 2016)

Formal verification for wireless sensor network in consideration of communication errors. - Akihiro Ikeda; Naoki Akiyama; Toshiaki Miyazaki (ICOIN, 2018)