Modeling correction activities in the context of verification strategies.

Peng Xu Alejandro Salado

Published in: Syst. Eng. (2022)

Keyphrases

context sensitive
context aware
contextual information
activity recognition
current situation
signature verification
colored petri nets
data sets
web services
model checking
online auctions
error correction
user activities