2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This paper proposes a model for collaborative runtime verification where a network of local monitors collaborates in order to verify properties of the system.
There is a big gap between the analysis and design models and the implementation of agent-oriented methodologies, and the vision of a development methodology for multiagent systems is introduced, based on the OperA analysis models and the agent-oriented programming language 3APL.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
