-
Computer Safety, Reliability, and Security – 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
Buth, Bettina 2009 Springer Berlin Heidelberg
-
Trustworthy Computing and Services – International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers
Yueming, Lu ; Xu, Wu ; Xi, Zhang 2015 Springer Berlin Heidelberg
-
Software Engineering for Resilient Systems – 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Gorbenko, Anatolij ; Romanovsky, Alexander ; Kharchenko, Vyacheslav 2014 Springer International Publishing
-
Software Engineering for Resilient Systems – 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
-
Formal Methods for Model-Driven Engineering – 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso 2012 Springer Berlin Heidelberg
-
Software Engineering, Business Continuity, and Education – International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
Kim, T'ae-hun ; Adeli, Hojjat ; Kim, Kwang-hŏn ; Kang, Heau-jo ; Kim, Kyung Jung ; Kiumi, Akingbehin ; Kang, Byeong Ho 2011 Springer Berlin Heidelberg
-
Safety and Reliability of Software Based Systems – Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
Shaw, Roger 1997 Springer London
-
Computer Safety, Reliability, and Security – 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
Flammini, Francesco ; Bologna, Sandro ; Vittorini, Valeria 2011 Springer Berlin Heidelberg
-
Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
Gogolla, Martin ; Wolff, Burkhart 2011 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004. Proceedings
Heisel, Maritta 2004 Springer Berlin Heidelberg
-
Computer Safety, Reliability, and Security – 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
Schoitsch, Erwin 2010 Springer Berlin Heidelberg
-
Computer safety, reliability, and security – 27th international conference ; proceedings
Harrison, Michael Douglas 2008 Springer
-
Computer safety, reliability, and security – 26th international conference ; proceedings
Saglietti, Francesca 2007 Springer
-
Computer safety, reliability, and security – 25th international conference ; proceedings
Górski, Janusz 2006 Springer
-
Computer safety, reliability, and security – 24th international conference ; proceedings
Winther, Rune 2005 Springer
-
Computer safety, reliability, and security – 22nd international conference ; proceedings
Anderson, Stuart 2003 Springer
-
Computer safety, reliability and security – 21st international conference ; proceedings
Anderson, Stuart 2002 Springer