A framework and patterns for the specification of reactive systems.

Leonor Barroca Pedro Rangel Henriques

Published in: Inf. Softw. Technol. (1998)

Keyphrases

reactive systems
real time
machine learning
artificial intelligence
knowledge base
expert systems
data model
temporal logic
state machines