Sign in
Yuuma Matsumoto
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Matching Algorithm
Software Systems
Temporal Logic
Verification Method
Top Venues
KES
ICSOFT-EA
</>
Publications
</>
Yuuma Matsumoto
,
Sayaka Shirai
,
Atsushi Ohnishi
A Method for Verifying Non-Functional Requirements.
KES
(2017)
Yuuma Matsumoto
,
Atsushi Ohnishi
A Verification Method of Time-response Requirements.
ICSOFT-EA
(2016)