Sökning: "Formal veri¯cation"
Hittade 1 avhandling innehållade orden Formal veri¯cation.
1. Enabling Tool Support for Formal Analysis of ECA Rules
Sammanfattning : Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. LÄS MER
Resultatsidor:
1