Real Time Meta Event Specification Language for Java.

Vincenzo Caruso Serge Midonnet

Published in: IASTED PDCS (2005)

Keyphrases

specification language
programming language
real time
description language
event driven
open source
formal specification
object oriented
requirements specification
symbolic execution
general purpose
event processing
news articles
event detection
control system
web services
model checker