Chaiwat Sathawornwichit

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Complex Environments

Update Operations

Top Venues

Publications

Chaiwat Sathawornwichit, Shigeru Hosono
Consistent Testing Framework for Continuous Service Development. APSCC (2014)
Chaiwat Sathawornwichit, Shigeru Hosono
Consistency Reflection for Automatic Update of Testing Environment. APSCC (2012)
Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama
Modeling of Real-Time System Designs for Parametric Analysis. RTCSA (2010)
Chaiwat Sathawornwichit, Takuya Katayama
A Parametric Model Checking Approach for Real-Time Systems Design. APSEC (2005)