Essays about: "Timed Automata"
Showing result 16 - 16 of 16 essays containing the words Timed Automata.
-
16. Verifying transformations between timed automata specifications and ECA rules
University essay from Institutionen för datavetenskapAbstract : Event-triggered real-time systems are desirable to use in environments where the arrival of events are hard to predict. The semantics of an event-triggered system is well mapped to the behaviour of an active database management system (ADBMS), specified using event-condition-action (ECA) rules. READ MORE