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
- Relaterad länk:
-
http://dx.doi.org/10... (Table of Contents / Abstracts)
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)
- COM051000 (ämneskategori)
- COM036000 (ämneskategori)
- 005.1015113 (DDC)
- Pubb (kssb/8 (machine generated))
Inställningar
Hjälp
Titeln finns på 17 bibliotek.
Ange som favorit
-
Luleå universitetsbibliotek, Digitala resurser (LTUd)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for LTU) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Mittuniversitetet, Digitala biblioteket (Miun)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for MIU) (Springer Nature Complete eBooks) (fulltext)
-
Läs hela (Online access for MIU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.
-
Umeå universitetsbibliotek, Digitala resurser (Qdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for UMUB) (fulltext) (Springer Lecture Notes in Computer Science)
Öppettider, adress m.m.
Ange som favorit
-
Karlstads universitetsbibliotek, Digitala resurser (Kdig)Ange som favorit
-
Titeln i bibliotekets lokala katalogKauLink
-
-
Läs hela (Online access for KaU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
-
Läs hela (Online access for KaU) (Springer eBooks (Computer Science/LNCS 2017)) (fulltext)
Öppettider, adress m.m.
-
Mälardalens universitet, Digitala resurser (Mdhd)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Tillgänglig för användare inom Mälardalens högskola) (fulltext) (SpringerLink Books - AutoHoldings)
Öppettider, adress m.m.
-
Örebro universitetsbibliotek, Digitala resurser (Odig)Ange som favorit
-
-
Läs hela (Tillgänglig inom Örebro universitet och externt för studenter och anställda vid universitetet) (fulltext) (Lecture Notes in Computer Science)
Öppettider, adress m.m.
Ange som favorit
-
Stockholms universitetsbibliotek, Digitala resurser (Hdig)Ange som favorit
-
-
Läs hela (Tillgänglig för användare inom Stockholms universitet) (SpringerLink Books - AutoHoldings:Full Text)
Öppettider, adress m.m.
-
Patent- och registreringsverket, Biblioteket (Pvd)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Tillgänglig på PRV) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
Öppettider, adress m.m.
-
Kungliga Tekniska högskolan, E-resurser (Tdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for KTHB) (fulltext) (Springer)
Öppettider, adress m.m.
Ange som favorit
-
Högskolan i Jönköping, E-resurser (JonE)Ange som favorit
-
Titeln i bibliotekets lokala katalogGet it
-
-
Läs hela (Online access for JON) (fulltext) (Springer eBooks)
Öppettider, adress m.m.
-
Linköpings universitetsbibliotek, E-resurser (LiUd)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Extern tillgång endast anställda och studenter vid LiU) (Springer Lecture Notes in Computer Science eBooks) (Springer Computer Science eBooks 2017 English/International)
Öppettider, adress m.m.
Ange som favorit
-
Göteborgs universitetsbibliotek, E-resurser (Gdix)Ange som favorit
-
Bibliotekets lokala katalogFind@GU
-
-
Läs hela (Tillgänglig för Göteborgs universitet / Online access for the University of Gothenburg) (Springer eBooks:Full Text)
Öppettider, adress m.m.
-
Högskolan i Halmstad, E-resurser (Hald)Ange som favorit
-
Bibliotekets lokala katalogCheck local availability
-
-
Läs hela (Tillgänglig för användare inom Högskolan i Halmstad) (fulltext) (Lecture Notes In Computer Science)
Öppettider, adress m.m.
-
Chalmers tekniska högskola, E-resurser (Zdig)Ange som favorit
-
Bibliotekets lokala katalog
-
-
Läs hela (Online access for Chalmers) (Springer Computer Science eBooks 2017 English/International)
Öppettider, adress m.m.
Ange som favorit
-
Lunds universitets bibliotek, Digitala resurser (Ldix)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
-
Läs hela (Online access for Lund University) (Springer Lecture Notes in Computer Science eBooks) (Springer eBooks (Computer Science/LNCS 2017))
Utlånad?Öppettider, adress m.m.
-
Linnéuniversitetet, Universitetsbiblioteket, E-resurser (LnuE)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
-
Läs hela (Online access for Linnaeus University) (fulltext) (Springer Lecture Notes in Computer Science eBooks)
Öppettider, adress m.m.
-
Malmö universitetsbibliotek, E-resurser (Maud)Ange som favorit
-
Bibliotekets webbplats
-
-
Läs hela (Online access for MAU) (Springer Lecture Notes in Computer Science eBooks) (fulltext)
-
Läs hela (Online access for MAU) (Springer Computer Science eBooks 2017 English/International) (fulltext)
Öppettider, adress m.m.