Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (Q548696): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68N30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q45 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5915220 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
runtime enforcement | |||
| Property / zbMATH Keywords: runtime enforcement / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
monitor | |||
| Property / zbMATH Keywords: monitor / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
safety-progress classification | |||
| Property / zbMATH Keywords: safety-progress classification / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
monitor synthesis | |||
| Property / zbMATH Keywords: monitor synthesis / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
composition | |||
| Property / zbMATH Keywords: composition / rank | |||
Normal rank | |||
Revision as of 12:04, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Runtime enforcement monitors: Composition, synthesis, and enforcement abilities |
scientific article |
Statements
Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (English)
0 references
30 June 2011
0 references
runtime enforcement
0 references
monitor
0 references
safety-progress classification
0 references
monitor synthesis
0 references
composition
0 references
