michael g hinchey

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

Technologies enabling autonomous and autonomic behaviors of spacecraft have steadily progressed, ...

Innovative Concepts for Autonomic and Agent-Based Systems

This book constitutes the thoroughly refereed post-proceedings of the Second International Worksh...

Formal Approaches to Agent-Based Systems

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbel...

Formal Methods and Software Engineering

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engi...

Industrial-Strength Formal Methods in Practice

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyo...

Formal Approaches to Agent-Based Systems

This book constitutes the thoroughly refereed post-proceedings of the First International Worksho...

ZUM ’98: The Z Formal Specification Notation

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in t...

High-Integrity System Specification and Design

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 32...

Formal Approaches to Agent-Based Systems

Artificial Intelligence and Its Applications

This book constitutes the refereed proceedings of the First International Conference on Artificia...

Artificial Intelligence and Its Applications

This book constitutes the refereed proceedings of the First International Conference on Artificia...

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

In the early 1990s, NASA Goddard Space Flight Center started researching and developing autonomou...