Sign in
Daichi Morita
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Markov Property
Complex Systems
Conceptual Models
Top Venues
SETTA
</>
Publications
</>
Daichi Morita
,
Fuyuki Ishikawa
,
Shinichi Honiden
Construction of Abstract State Graphs for Understanding Event-B Models.
SETTA
(2017)