A Formal Technique to Analyze Event Concurrent Response.

Hiromi Kobayashi Yasunari Shidama

Published in: IEICE Trans. Inf. Syst. (1995)

Keyphrases

event detection
formal model
formal analysis
real time
machine learning
information retrieval
formal methods
multiscale
evolutionary algorithm
mathematical theory