2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2009★ 2 cited
Statechart Verification with iState
Dai Tri Man Le
This paper is the longer version of the extended abstract with the same name published in FM 06. We describe in detail the algorithm to generate verification conditions from statec…
cs.AI2009
Modelling Concurrent Behaviors in the Process Specification Language
Dai Tri Man Le
In this paper, we propose a first-order ontology for generalized stratified order structure. We then classify the models of the theory using model-theoretic techniques. An ontology…