An enhanced model for testing asynchronous communicating systems.

Myungchul Kim, Jaehwi Shin, Samuel T. Chanson, Sungwon Kang

Browse the full FORTE paper archive.