Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 1993
Genre:	EDV / Informatik
ISBN:	9783540198383
EAN-Code:	9783540198383
Verlag:	Springer London
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 23 mm
Gewicht:	616 gr
Seiten:	408
Zus. Info:	Paperback
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The world-wide market for safe, secure and reliable computer systems is expanding. For many high technology applications, safety is one of the top priorities. Among the industrial and business sectors which are especially concerned with safety are: certification, regulation/licensing, standards making, insurance, military, medical, rail, power, road, shipping, aerospace, process industries, manufacturing and machinery control, water treatment, and mining. BSAFECOMP '93/B Bis an opportunity for technical developers, users and /B Blegislators to exchange and review their experiences, to /B Bconsider the best technologies now available, and to /B Bidentify the skills and technologies required for the /B Bfuture. It focuses on critical computer applications, /B Bpresenting current research and new trends in computer /B Bsafety, reliability and security, and providing a platform /B Bfor technology transfer between academia, industry and /B Bresearch institutions. It is outstanding for its /B Binternational breadth (authors from 16 different countries),/B Bits unique way of combining participants from academia, /B Bresearch and industry, and its wide topical coverage. This /B Bbook is the proceedings of SAFECOMP '93: the 12th /B BInternational Conference on Safety, Reliability and Security/B Bof Computer Systems, Poznan, Poland, 27-29 October 1993. It /B Bincludes four invited presentations by highly regarded /B Binternational experts who review the present status of /B Bsafety, reliability and security technology. The refereed /B Bpapers discuss a broad spectrum of subjects including formal/B Bmethods and models, safety assessment and analysis, /B Bverification and validation, testing, reliability issues and/B Bdependable software technology, computer languages for /B Bsafety related systems, reactive systems technology, /B Bsecurity and safety related applications. /BSAFECOMP '93B is /B for all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security. The book provides a representative sample of recent research results and applications problems, presented by experts from industrial and academic institutions.