Gate automata-driven run-time enforcement
Research Area: | Uncategorized | Year: | 2012 |
---|---|---|---|
Type of Publication: | Article | ||
Authors: |
|
||
Journal: | Computers & Mathematics with Applications | Volume: | 63 |
Number: | 2 | Pages: | 518-524 |
Month: | January | ||
BibTex: |
|||
Note: | CNR; Nessos, Connect, Aniketos; citations 1 |
||
[Bibtex] |