Specification and Verification of Multi-agent Systems المزيد من الكتب المشابهة

Declarative Agent Languages and Technologies VI

٢٠٠٨

Computational Logic in Multi-Agent Systems

٢٠١٠

Formal Methods: Foundations and Applications

٢٠١١

Model Checking and Artificial Intelligence

٢٠٠٧

Software Engineering and Formal Methods

٢٠١١

Integrated Formal Methods

٢٠٠٧

Theory and Practice of Formal Methods

٢٠١٦

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

٢٠٢٠

International Symposium on Fundamentals of Software Engineering

٢٠٠٧

FM 2008: Formal Methods

٢٠٠٨

Formal Techniques for Distributed Systems

٢٠١٠

Integrated Formal Methods

٢٠١٨

Formal Methods and Hybrid Real-Time Systems

٢٠٠٧

Formal Methods and Software Engineering

٢٠٠٨

Logic Programming and Nonmonotonic Reasoning

٢٠١٥