Applying Formal Methods to Specify Security Requirements in Multi–Agent Systems
Saved in:
| Main Authors: | , |
|---|---|
| 格式: | Article |
| 語言: | 英语 |
| 出版: |
Polish Information Processing Society
2018-09-01
|
| 叢編: | Annals of computer science and information systems |
| 在線閱讀: | https://annals-csis.org/Volume_15/drp/pdf/262.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| ISSN: | 2300-5963 |
|---|