Catalogue SUDOC

Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Software reliability methods

| 72 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
reliability	Mots du titre	[3976]
software	Mots du titre	[13306]
methods	Mots du titre	[53189]

	1.	Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions 1st ed. 2008. / 2008
	2.	Open Source Software: New Horizons : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings Ågerfalk, Pär Johan (1971-....) / Springer Berlin Heidelberg : Springer e-books / 2010
	3.	Mathematical and Statistical Models and Methods in Reliability : Applications to Medicine, Finance, and Quality Control Rykov, V.V. / Birkhäuser Boston : Springer e-books : Imprint: Birkhäuser : Springer e-books / 2010
	4.	Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German Springer Berlin Heidelberg : Springer e-books / 2005
	5.	Risk, reliability and safety : innovating theory and practice : proceedings of the 26th European Safety and Reliability Conference, ESREL 2016, Glasgow, Scotland, 25-29 September 2016 European Safety and Reliability Conference (26th ; Glasgow, Scotland ; 2016) / 2017
	6.	Computer Safety, Reliability, and Security : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings 2011
	7.	High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings Hutchison, David / 1st ed. 2008. / 2008
	8.	Concise Guide to Software Engineering : From Fundamentals to Application Methods O'Regan, Gerard / 2017
	9.	Information Technology - New Generations : 15th International Conference on Information Technology 2018
	10.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I Margaria-Steffen, Tiziana (1964-...) / 1st ed. 2014. / 2014