Somsak Vanit-Anunchai

Somsak Vanit-Anunchai

Suranaree University of Technology - Nakhon Ratchasima / Thailand
Others
AD Scientific Index ID: 4937260
มหาวิทยาลัยเทคโนโลยีสุรนารี
person_outline Somsak Vanit-Anunchai's MOST POPULAR ARTICLES
1-) Modelling railway interlocking tables using coloured petri netsS Vanit-AnunchaiCoordination Models and Languages: 12th International Conference …, 2010412010
2-) Verification of railway interlocking tables using coloured Petri netsS Vanit-Anunchaithe tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and …, 2009202009
3-) Modelling and simulating a Thai railway signalling system using Coloured Petri NetsS Vanit-AnunchaiInternational Journal on Software Tools for Technology Transfer 20, 243-262, 2018172018
4-) Discovering chatter and incompleteness in the Datagram Congestion Control ProtocolS Vanit-Anunchai, J Billington, T KongprakaiwootFormal Techniques for Networked and Distributed Systems-FORTE 2005: 25th …, 2005182005
5-) Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line methodS Vanit-Anunchai, J Billington, GE GallaschInternational Journal on Software Tools for Technology Transfer 10 (1), 29-56, 2008152008