Login / Signup
Masato Wakatake
Publication Activity (10 Years)
Years Active: 2008-2014
Publications (10 Years): 0
Top Topics
Scheduling Problem
Theorem Proving
Processing Times
Decomposition Method
Top Venues
Int. J. Syst. Sci.
</>
Publications
</>
Tatsushi Nishi
,
Masato Wakatake
Decomposition of timed automata for solving scheduling problems.
Int. J. Syst. Sci.
45 (3) (2014)
Tatsushi Nishi
,
Masato Wakatake
,
Masahiro Inuiguchi
Decomposition of timed automata for solving scheduling problems.
SMC
(2008)