Home Advanced Search

Advanced Search - Page 1

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.)
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops: DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September ...
  • PDF
  • English
  • Year: 2022
  • Author: Mario Trapp (editor), Erwin Schoitsch (editor), Jérémie Guiochet (editor), Friedemann Bitsch (editor)
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.)
Dependable Computing - EDCC 5: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Pascal Traverse, Isabelle Lacaze, Jean Souyris (auth.), Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.)
Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Pierre Ganty, Mohamed Kaâniche
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.)
Perspectives in Modern Seismology
  • PDF
  • English
  • Year: 2005
  • Author: Friedemann Wenzel (auth.), Friedemann Wenzel (eds.)
Computer safety, reliability, and security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Bitsch, Friedemann; Schoitsch, Erwin; Tonetta, Stefano
Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Alexander Romanovsky, Elena Troubitsyna, Friedemann Bitsch
search