On the Formal Semantics of the Cognitive Middleware AWDRAT
The purpose of this work is two fold: on one hand we want to formalize the behavior of critical components of the self generating and adapting cognitive middleware AWDRAT such that the formalism not only helps to understand the semantics and technical details of the middleware but also opens an oppo...
| 主要な著者: | , , |
|---|---|
| その他の著者: | |
| 出版事項: |
2015
|
| 主題: | |
| オンライン･アクセス: | http://hdl.handle.net/1721.1/95774 |