Runtime verification of service-oriented systems: a well-rounded survey.

Reza Babaee Seyed Morteza Babamir

Published in: Int. J. Web Grid Serv. (2013)

Keyphrases

model checking
formal verification
data collection
real time
fingerprint verification
decision trees
formal methods
concurrent systems
recent trends
signature verification
floating point
mobile robot
information technology
expert systems
multi agent
feature selection
artificial intelligence
databases