Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:21560560 > Computer Safety, Re...

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch.

Tonetta, Stefano. (redaktör/utgivare)
Schoitsch, Erwin. (redaktör/utgivare)
Bitsch, Friedemann. (redaktör/utgivare)
SpringerLink (Online service) 
ISBN 9783319662664
Publicerad: Cham : Springer International Publishing : 2017
Engelska XIX, 344 p. 107 illus.
Serie: Lecture Notes in Computer Science, 0302-9743 ; 10488
  • E-bok
Innehållsförteckning Sammanfattning Ämnesord
Stäng  
  • Dynamic fault trees -- Safety case and argumentation -- Formal verification -- Autonomous systems -- Static analysis and testing -- Safety analysis and assessment -- Safety and security.
  • This book constitutes the refereed proceedings of the 36th International Conference  on Computer Safety, Reliability, and Security, SAFECOMP 2017, held in Trento, Italy, in September 2017. The 22 revised full papers and two abstracts of keynotes presented  were carefully reviewed  and selected from 65 submissions. The papers are organized in topical sections on dynamic fault trees; safety case and argumentation; formal verification; autonomous systems; static analysis and testing; safety analysis and assessment; safety and security. 

Ämnesord

Computer science.  (LCSH)
Computer organization.  (LCSH)
Software engineering.  (LCSH)
Programming languages (Electronic computers).  (LCSH)
Computer security.  (LCSH)
Computer logic.  (LCSH)
Application software.  (LCSH)
Computer Science. 
Logics and Meanings of Programs. 
Programming Languages, Compilers, Interpreters. 
Software Engineering. 
Systems and Data Security. 
Computer Applications. 
Computer Systems Organization and Communication Networks. 

Klassifikation

QA76.9.L63 (LCC)
QA76.5913 (LCC)
QA76.63 (LCC)
UM (ämneskategori)
UYF (ämneskategori)
COM051000 (ämneskategori)
COM036000 (ämneskategori)
005.1015113 (DDC)
Pubb (kssb/8 (machine generated))
Inställningar Hjälp

Titeln finns på 15 bibliotek. 

Bibliotek i norra Sverige (3)

Ange som favorit

Bibliotek i Mellansverige (3)

Ange som favorit

Bibliotek i Stockholmsregionen (3)

Ange som favorit

Bibliotek i östra Sverige (2)

Ange som favorit

Bibliotek i västra Sverige (2)

Ange som favorit

Bibliotek i södra Sverige (2)

Ange som favorit
Om LIBRIS
Sekretess
Blogg
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Sondera
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy