Choong-Ho Yi

  • Citations Per Year
Learn More
We have introduced concurrency into the framework of Sandewall. The resulting formalism is capable of reasoning about interdependent as well as independent concurrent actions. Following Sandewall’s systematical method, we have then applied the entailment criterion PCM to selecting intended models of common sense theories where concurrent actions axe(More)
In cooperation with EDA (European Defence Agency), EU Core Technical Framework Study was conducted during 2008-2009. The goal of the study is to enable a framework that promotes secure, multinational distributed simulations. The main domains targeted are Training, Simulation Based Acquisition (SBA) and Concept Development and Experimentation (CD&E). On(More)
INTRODUCTION Recent research in systems engineering shows the community’s interest in scenarios. Advantages of using scenarios have been reported in wide range of contexts within the area. Recalling that any systematic, and eventually, automated management of scenarios presupposes firm formal ground, research on formal theories for scenarios is highly(More)
  • 1