Login / Signup
Kyohei Oyama
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Business Rules
Formal Verification
Rule Sets
Asynchronous Circuits
Top Venues
ICFEM
</>
Publications
</>
Thai Son Hoang
,
Shinji Itoh
,
Kyohei Oyama
,
Kunihiko Miyazaki
,
Hironobu Kuruma
,
Naoto Sato
Consistency Verification of Specification Rules.
ICFEM
(2015)