Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Technologies enabling autonomous and autonomic ...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings ...

Agent Technology from a Formal Perspective

The field of agent & multi-agent systems is exp...

Formal Approaches to Agent-Based Systems

The 3rd Workshop on Formal Approaches to Agent-...

Innovative Concepts for Autonomic and Agent-Based Systems

This book constitutes the thoroughly refereed p...

Industrial-Strength Formal Methods in Practice

Industrial Strength Formal Methods in Practice ...

Formal Approaches to Agent-Based Systems

This book constitutes the thoroughly refereed p...

ZUM ’98: The Z Formal Specification Notation

1 In a number of recent presentations - most no...

High-Integrity System Specification and Design

Errata, detected in Taylor's Logarithms. London...

Formal Approaches to Agent-Based Systems

Formal Approaches to Agent-Based Systems

The idea of a FAABS workshop was first conceive...

Industrial-Strength Formal Methods in Practice

Industrial Strength Formal Methods in Practice ...