-
15.06.2016This book constitutes the refereed proceedings of the FirstInternational Conference on Reliabilit...
-
08.02.2015
A formal method is not the main engine of a development process, its contribution is to improve s...
-
04.04.2001
Modern software systems are becoming more complex in many ways and have to cope with a growing nu...
-
09.08.2019
This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38...
-
21.08.2003
As software systems become more and more ubiquitous, the issues of dependability become more and ...
-
23.07.2013
A formal method is not the main engine of a development process, its contribution is to improve s...
-
26.03.2009
The growing complexity of modern software systems increases the di?culty of ensuring the overall ...
-
15.09.2005
As software systems become ubiquitous, the issues of dependability become more and more crucial. ...
-
30.08.2006
Modern software systems are becoming more complex in many ways and are having to cope with a grow...
-
23.02.2005
FIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesi...
-
02.03.2004
Advances in networking technology have revitalized the investigation of agent technologyasapromis...
-
20.10.2017
This volume constitutes the proceedings of the Second International Conference on Reliability, Sa...