Seo Chungman

Chungman Seo

Information about the author Chungman Seo will soon be added to the site.
Found 2 papers in total
Combining DEVS and model-checking: concepts and tools for integrating simulation and analysis
Our objectives here are to discuss the development of a formal framework that exploits...
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems
PROMELA is a well‐known formalism for the modelling and the verification of...
Papers per page: