Luke Sy, PhD Candidate
Luke Sy, PhD Candidate
Home
Posts
All Posts
By tags
Projects
Academic
All Projects
Publications
Talks
Resume
Contact
Specification Extraction Method and Program (Transition Diagram Simplification)
Araki Dai
,
Tomohiro Yanagi
,
Chikahiro Umeda
,
Luke Sy
,
Noritaka Kawakatsu
,
Mihiro Sato
,
Toru Ono
,
Kenji Izutsu
,
Yusuke Watanabe
,
Yoshinori Hasabe
2016 Jan 1
PDF
Cite
Type
Patent
Next
Specification Extraction Method and Program (Extraction from Source Code)
Previous
Verification System, Method, and Program (Decision Table Generation from Source Code)
Cite
×