Home Advanced Search

Advanced Search - Page 1

Conquering Complexity
  • PDF
  • English
  • Year: 2012
  • Author: Mike Hinchey, Lorcan Coyle
Conquering Complexity
  • PDF
  • English
  • Year: 2012
  • Author: José Luiz Fiadeiro (auth.), Mike Hinchey, Lorcan Coyle (eds.)
Experience from the DARPA Urban Challenge
  • PDF
  • English
  • Year: 2012
  • Author: Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)
Experience from the DARPA Urban Challenge
  • PDF
  • English
  • Year: 2012
  • Author: Christian Berger, Mike Hinchey, Christopher Rouff (auth.), Christopher Rouff, Mike Hinchey (eds.)
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Cliff B. Jones (auth.), George Eleftherakis, Mike Hinchey, Mike Holcombe (eds.)
Provably Correct Systems
  • PDF
  • English
  • Year: 2017
  • Author: Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)