Specification and Verification of Multi-agent Systems More Books Like This

Declarative Agent Languages and Technologies VI Declarative Agent Languages and Technologies VI
Declarative Agent Languages and Technologies VI
2008
Computational Logic in Multi-Agent Systems Computational Logic in Multi-Agent Systems
Computational Logic in Multi-Agent Systems
2010
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2011
Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2011
Theory and Practice of Formal Methods Theory and Practice of Formal Methods
Theory and Practice of Formal Methods
2016
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
2020
International Symposium on Fundamentals of Software Engineering International Symposium on Fundamentals of Software Engineering
International Symposium on Fundamentals of Software Engineering
2007
FM 2008: Formal Methods FM 2008: Formal Methods
FM 2008: Formal Methods
2008
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2018
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2008
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
2015
Engineering Trustworthy Software Systems Engineering Trustworthy Software Systems
Engineering Trustworthy Software Systems
2020
FM 2011: Formal Methods FM 2011: Formal Methods
FM 2011: Formal Methods
2011
Fundamentals of Software Engineering Fundamentals of Software Engineering
Fundamentals of Software Engineering
2010
Integrated Formal Methods Integrated Formal Methods
Integrated Formal Methods
2009