Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 20

Ø 0.0
0 Bewertungen
67,31 €

Model Checking-Based Analysis of Multiagent Systems. - Towards Formal Specification and Verification in Cyberspace. - Verification within the KARO Agent Theory. - Synthesizing Agents Initially. - On Formal Modeling of Agent Computations.

Jetzt bei Ebay: