Login / Signup
Fumiko Nagoya
Publication Activity (10 Years)
Years Active: 2004-2020
Publications (10 Years): 5
Top Topics
Specification Languages
Concurrent Systems
Formal Specification
Rapid Prototyping
Top Venues
SOFL+MSVL
ICCSA (1)
RACS
SOFL
</>
Publications
</>