Safeware : :: SCD d'Orléans

Safeware : system safety and computers

Safeware : system safety and computers

Guardado en:

Detalles Bibliográficos
Autor principal:	Leveson, Nancy G.
Formato:	Livre papier
Lenguaje:	Anglais
Publicado:	New York (N. Y.) : Addison-Wesley 1995.
Materias:	Logiciels > Fiabilité Ordinateurs > Fiabilité Sécurité du travail
Nota:	La couv. porte en plus : "A guide to preventing accidents and losses caused by technology"
Autres localisations:	Voir dans le Sudoc

Ejemplares similares

Computer safety, reliability and security : 19th international conference, SAFECOMP 2000, Rotterdam, the Netherlands, October 24-27, 2000 : proceedings

Computer safety, reliability, and security : 23rd international conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004 : proceedings

Principles of model checking
por: Baier, Christel, 19..-, et al.
Publicado: (2008)

Reliability engineering & system safety.

Sûreté de fonctionnement des systèmes industriels : fiabilité, facteurs humains, informatisation
por: Villemeur, Alain, 1948-
Publicado: (1988)

Composants logiciels et sûreté de fonctionnement : intégration de COTS
Publicado: (2000)

Computer safety, reliability, and security : 18th international conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

Software reliability : modelling and identification
por: Bittanti, Sergio, 1947-

Les facteurs humains dans la gestion des risques : évolution de la pensée et des outils
por: Bieder, Corinne
Publicado: (2006)

La conduite de systèmes à risques
por: Amalberti, René, 1952-
Publicado: (2001)

Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings

Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings

Coder proprement
por: Martin, Robert C., 1952-...., informaticien, et al.
Publicado: (2019)

Recent advances in system reliability : signatures, multi-state systems and statistical inference
Publicado: (2012)

Reliable software technologies - Ada-Europe 99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 11, 1999 : proceedings

Performance evaluation of complex systems : techniques and tools : Performance 2002 tutorial lectures
por: Calzarossa, Maria Carla, 1958-

Computer safety, reliability and security : 20th international conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

Le cercle des fiabilistes disparus ou Critique de la raison fiabiliste : [Essai] : [Une nouvelle école de Sûreté de fonctionnement ? Une nécessité ?]
por: Ligeron, Jean-Claude
Publicado: (2006)

Fiabilité technique et humaine
por: Lyonnet, Patrick, 1950-
Publicado: (2012)

Utilisation des techniques de fiabilité en mécanique
por: Marcovici, Claude, 19..-, et al.
Publicado: (1974)

Performance evaluation.

Clean code : a handbook of agile software craftsmanship
por: Martin, Robert C., 1952-
Publicado: (2009)

Reliable software technologies : Ada Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings

Reliable software technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2 6, 1997 : proceedings

Reliable software technologies : Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Proceedings of the fourth Resilience engineering symposium : 8-10 June, 2011, Sophia Antipolis, France
Publicado: (2023)

Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings

Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes
por: Bouissou, Marc, 1957
Publicado: (2008)

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
por: Llamosí, Albert

Applied Nonparametric Statistics in Reliability
por: Gamiz, M. Luz, et al.

Vérification de logiciels : techniques et outils du model-checking
por: Bérard, Béatrice, 19..-...., professeure en informatique, et al.
Publicado: (1999)

Reliability, life testing and the prediction of service lives : for engineers and scientists
por: Saunders, Sam C.

Proceedings of the fourth Resilience engineering symposium : 8-10 June, 2011, Sophia Antipolis, France
Publicado: (2013)

Fiabilité des structures des installations industrielles : théorie et applications de la mécanique probabiliste
por: Procaccia, Henri, et al.
Publicado: (1996)

Sécurité et cognition
Publicado: (1998)

Guide de la sûreté de fonctionnement
por: Arlat, Jean
Publicado: (1996)

Fiabilité mécanique appliquée : études de cas concrets
por: Grous, Ammar, 1956-
Publicado: (2013)

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales