Artificial Intelligence and Its ApplicationsAnish Gupta, Michael Hinchey, Zeev Zalevsky · First published 2025Open the Tome
ZUM '98 : the Z Formal Specification NotationJonathan P. Bowen, Andreas Fett, Michael G. Hinchey · First published 2011Open the Tome
Autonomous and Autonomic SystemsSpringer, Harold Hallock, Michael Hinchey, Jay Karlin, James Rash · First published 2009Open the Tome
Formal Approaches to Agent-Based SystemsMichael G. Hinchey,James L. Rash,Walter F. Truszkowski · First published 2008Open the Tome
Innovative Concepts for Autonomic and Agent-Based SystemsMichael G. Hinchey,James L. Rash,Patricia Rago · First published 2008Open the Tome
Agent Technology from a Formal PerspectiveChristopher Rouff, Michael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears · First published 2006Open the Tome
Innovative Concepts for Autonomic and Agent-Based SystemsMichael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Walt Truszkowski · First published 2006Open the Tome
Formal approaches to agent-based systemsMichael G. Hinchey, James L. Rash, Christopher Rouff · First published 2003Open the Tome
Formal approaches to agent-based systemsJames L. Rash, Diana Gordon, Michael G. Hinchey · First published 2001Open the Tome
Industrial-strength formal methods in practiceMichael G. Hinchey, J. P. Bowen · First published 1999Open the Tome
High-integrity system specification and designJ. P. Bowen, Michael G. Hinchey · First published 1999Open the Tome
The Z formal specification notationJonathan P. Bowen, Michael G. Hinchey · First published 1998Open the Tome
Teaching and Learning Formal MethodsC. Neville Dean, Michael G. Hinchey · First published 1996Open the Tome
Heave instabilities of amphibious air cushion suspension systemsMichael James Hinchey · First published 1979Open the Tome
