Search results

Articles (2)

Journals (0)

1-2 of 2 results for event condition action verification

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2018-6-21

Analysis and verification of ECA rules in intelligent environments

Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone [...]

Journal of Ambient Intelligence and Smart Environments

Retricted access

Research article

First published 2008-1

Erik Behrends, Oliver Fritzen, Wolfgang May [...]

Fundamenta Informaticae