Login / Signup
Hiroshi Mine
Publication Activity (10 Years)
Years Active: 2015-2018
Publications (10 Years): 1
Top Topics
Evolutionary Algorithm
Control System
Real Time Control
Conceptual Framework
Top Venues
FMEC
TrustCom/BigDataSE/ISPA (3)
</>
Publications
</>
Rajith Anjali
,
Soki Sakurai
,
Hiroshi Mine
Real-time optimized HVAC control system on top of an IoT framework.
FMEC
(2018)
Emil Rakadjiev
,
Taku Shimosawa
,
Hiroshi Mine
,
Satoshi Oshima
Parallel SMT Solving and Concurrent Symbolic Execution.
TrustCom/BigDataSE/ISPA (3)
(2015)