Login / Signup
Tsugu Kotorii
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
False Acceptance Rate
Fingerprint Verification
Model Checker
Asynchronous Circuits
Top Venues
APSEC (2)
</>
Publications
</>
Toshifusa Sekizawa
,
Tsugu Kotorii
A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing.
APSEC (2)
(2013)