Showing 1 - 20 results of 35 for search 'Hinchey, Michael G.', query time: 0.07s Refine Results
  1. 1
    Industrial-Strength Formal Methods in Practice /

    Industrial-Strength Formal Methods in Practice / by Hinchey, Michael G.

    Published 1999
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  2. 2
    Concurrent systems : formal development in CSP /

    Concurrent systems : formal development in CSP / by Hinchey, Michael G. (Michael Gerard), 1969-

    Published 1995
    Book
    Save to List
    Saved in:
  3. 3
    Autonomy requirements engineering for space missions /

    Autonomy requirements engineering for space missions / by Vassev, Emil, Hinchey, Michael G. (Michael Gerard), 1969-

    Published 2014
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    High-Integrity System Specification and Design /

    High-Integrity System Specification and Design / by Bowen, Jonathan P.

    Published 1999
    Other Authors: “…Hinchey, Michael G.…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers /

    Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers /

    Published 2003
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Access full-text online
    Conference Proceeding Book
    Save to List
    Saved in:
  6. 6
    Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /

    Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /

    Published 2005
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Conference Proceeding Book
    Save to List
    Saved in:
  7. 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 papers /

    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 2006
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Software technology : 10 years of innovation in IEEE Computer /

    Software technology : 10 years of innovation in IEEE Computer /

    Published 2018
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Wiley)
    eBook
    Save to List
    Saved in:
  9. 9
    Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /

    Formal approaches to agent-based systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /

    Published 2005
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  10. 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 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

    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 2010
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Biologically-inspired collaborative computing IFIP 20th World Computer Congress, second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy /

    Biologically-inspired collaborative computing IFIP 20th World Computer Congress, second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, Septem...

    Published 2008
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 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 papers /

    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 2006
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers /

    Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers /

    Published 2003
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /

    Formal approaches to agent-based systems Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : revised selected papers /

    Published 2005
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Understanding formal methods /

    Understanding formal methods / by Monin, Jean François, 1960-

    Published 2003
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Book
    Save to List
    Saved in:
  16. 16
    ZUM 98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /

    ZUM 98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings /

    Published 1998
    Other Authors:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    Conquering complexity

    Conquering complexity

    Published 2012
    Other Authors: “…Hinchey, Michael G. (Michael Gerard), 1969-…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    Teaching and learning formal methods /

    Teaching and learning formal methods /

    Published 1996
    Other Authors:
    Book
    Save to List
    Saved in:
  19. 19
    Agent technology from a formal perspective

    Agent technology from a formal perspective

    Published 2005
    Other Authors:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  20. 20
    Experience from the DARPA Urban Challenge

    Experience from the DARPA Urban Challenge

    Published 2012
    Other Authors:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search