Property Verification with MSC.

Emmanuel Gaudin Eric Brunel

Published in: SDL Forum (2013)

Keyphrases

model checking
desirable properties
database
machine learning
concurrent systems
real time
artificial intelligence
website
multiscale
special case
face detection
formal methods