Michael G. Hinchey

15 published titles

Applications of formal methods

(Contributor)

2 editions

Concurrent systems : formal development in CSP

1 edition

Teaching and learning formal methods

(Contributor)

1 edition

ZUM '98: the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

(Contributor)

1 edition

High-integrity system specification and design

(Contributor)

1 edition

Industrial-strength formal methods in practice

(Contributor)

1 edition

Innovative concepts for agent-based systems : first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers

(Contributor)

1 edition

Understanding formal methods

(Contributor)

1 edition

Agent technology from a formal perspective

(Contributor)

1 edition

Formal approaches to agent-based systems : third international workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, revised selected papers

(Contributor)

1 edition

Innovative concepts for autonomic and agent-based systems : second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 ; revised papers

(Contributor)

1 edition

Biologically-inspired collaborative computing : IFIP 20th World Computer Congress, Second IFIP TC10 International Conference on Biologically-inspired Collaborative Computing, September 8-9, 2008, Mila

(Contributor)

1 edition

Experience from the DARPA Urban Challenge

(Contributor)

1 edition

Conquering complexity

(Contributor)

1 edition

Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 2012 : proceedings

(Contributor)

1 edition