Showing 1 - 20 results of 35 for search 'Hinchey, Michael G.', query time: 0.07s
Refine Results
-
1
Industrial-Strength Formal Methods in Practice / by Hinchey, Michael G.
Published 1999Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
2
Concurrent systems : formal development in CSP / by Hinchey, Michael G. (Michael Gerard), 1969-
Published 1995Call Number: Loading…
Located: Loading…Book Loading… -
3
Autonomy requirements engineering for space missions / by Vassev, Emil, Hinchey, Michael G. (Michael Gerard), 1969-
Published 2014Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
4
High-Integrity System Specification and Design / by Bowen, Jonathan P.
Published 1999Other Authors: “…Hinchey, Michael G.…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
eBook -
5
Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers /
Published 2003Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Access full-text online
Located: Loading…
Conference Proceeding Book -
6
Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /
Published 2005Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
7
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 pa...
Published 2006Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…
Located: Loading…Electronic Conference Proceeding eBook Loading… -
8
Software technology : 10 years of innovation in IEEE Computer /
Published 2018Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Wiley)
Located: Loading…
eBook -
9
Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /
Published 2005Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
10
Distributed, parallel and biologically inspired systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 20...
Published 2010Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
11
Biologically-inspired collaborative computing IFIP 20th World Computer Congress, second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, Septem...
Published 2008Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
12
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 pa...
Published 2006Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
13
Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers /
Published 2003Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Conference Proceeding eBook -
14
Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /
Published 2005Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic Conference Proceeding eBook -
15
Understanding formal methods / by Monin, Jean François, 1960-
Published 2003Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…
Located: Loading…Book Loading… -
16
ZUM 98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /
Published 1998Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
17
Conquering complexity
Published 2012Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
18
Teaching and learning formal methods /
Published 1996Other Authors:Call Number: Loading…
Located: Loading…Book Loading… -
19
Agent technology from a formal perspective
Published 2005Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook -
20
Experience from the DARPA Urban Challenge
Published 2012Other Authors:Call Number: Loading…Full Text (via Springer)
Located: Loading…
Electronic eBook
Search Tools:
RSS Feed
–
Save Search
Related Subjects
Software engineering
Computer science
Formal methods (Computer science)
Intelligent agents (Computer software)
Intelligent control systems
Computer software
Logic design
System design
Artificial intelligence
Automatic control
Development
Embedded computer systems
Natural computation
Parallel processing (Electronic computers)
Z (Computer program language)
Algebra
Automation
Automobile driving
Autonomous robots
Combinatorial analysis
Computational complexity
Computational intelligence
Computer vision
Cooperating objects (Computer systems)
Data processing
Design
Digital techniques
Distributed processing
Electronic data processing
Formal languages