Login / Signup
Shunichi Amano
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 1
Top Topics
Autonomous Robots
Multiple Input
Smart Environments
Imperative Programs
Top Venues
iThings/GreenCom/CPSCom/SmartData
ICSE
</>
Publications
</>
Naoto Sato
,
Takaaki Tateishi
,
Shunichi Amano
Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic.
iThings/GreenCom/CPSCom/SmartData
(2018)
Hisashi Miyashita
,
Hideki Tai
,
Shunichi Amano
Controlled modeling environment using flexibly-formatted spreadsheets.
ICSE
(2014)