Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification.

José Sánchez Gary T. Leavens

Published in: SC@STAF (2013)

Keyphrases

event detection
model checking
lightweight
news articles
human subjects
data sets
genetic algorithm
formal verification
complex events
asynchronous circuits