Gate automata-driven run-time enforcement (Q418362)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Gate automata-driven run-time enforcement |
scientific article; zbMATH DE number 6038775
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gate automata-driven run-time enforcement |
scientific article; zbMATH DE number 6038775 |
Statements
Gate automata-driven run-time enforcement (English)
0 references
28 May 2012
0 references
security-by-contract-with-trust
0 references
gate automata
0 references
interface automata
0 references
contract monitoring
0 references
run-time enforcement
0 references
0.8695317
0 references
0.85231674
0 references
0.85231674
0 references
0.84324247
0 references
0.8396005
0 references
0.83069336
0 references
0.82907504
0 references
