Login / Signup
Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool.
Pierre Combes
David Harel
Hillel Kugler
Published in:
Softw. Syst. Model. (2008)
Keyphrases
</>
software application
data sets
model checking
application specific
formal verification
modeling tool
real time
case study
multi agent
input data
software tools