Naoki Akiyama

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Resource Limitations

Formal Verification

Wireless Sensor

Top Venues

Publications

Akihiro Ikeda, Naoki Akiyama, Toshiaki Miyazaki
Formal verification for wireless sensor network in consideration of communication errors. ICOIN (2018)
Toshiaki Miyazaki, Naoki Akiyama
Formal approach to produce verified programs for wireless sensor nodes. CSNDSP (2016)