Login / Signup
Somsak Vanit-Anunchai
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 7
Top Topics
Coloured Petri Nets
Test Driven Development
Iterative Procedure
Formal Methods
Top Venues
FMTea
Trans. Petri Nets Other Model. Concurr.
IEICE Trans. Inf. Syst.
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>