Home Advanced Search

Advanced Search - Page 1

Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
  • PDF
  • English
  • Year: 1997
  • Author: John Rushby (auth.), Roger Shaw (eds.)
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: John Rushby (auth.), Rohit Gheyi, David Naumann (eds.)
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
  • PDF
  • English
  • Year: 2010
  • Author: John Rushby (auth.), Chris Dale, Tom Anderson (eds.)
Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010
  • PDF
  • English
  • Year: 2010
  • Author: John Rushby (auth.), Chris Dale, Tom Anderson (eds.)
Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: John Rushby (auth.), Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (eds.)
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: John Rushby (auth.), Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.)
Advances in Web-Based Learning – ICWL 2013: 12th International Conference, Kenting, Taiwan, October 6-9, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Nick Rushby (auth.), Jhing-Fa Wang, Rynson Lau (eds.)
4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
  • PDF
  • English
  • Year: 1991
  • Author: Robert Worden (auth.), Joseph M. Morris PhD, Roger C. Shaw (eds.)
search