Login / Signup
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.
Takayuki Hamada
Tatsuhiro Tsuchiya
Masahide Nakamura
Tohru Kikuno
Published in:
ICOIN (1) (2002)
Keyphrases
</>
telecommunication services
symbolic model checking
model checking
partial observability
formal verification
next generation networks
churn prediction
binary decision diagrams
symbolic representation
service providers
temporal logic
data mining
computational complexity