Search
Now showing items 1-1 of 1
On the Formal Semantics of the Cognitive Middleware AWDRAT
(2015-03-03)
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 ...