Computer safety, reliability, and security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018 : proceedings

Computer safety, reliability, and security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018 : proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: SAFECOMP Västerås (VerfasserIn)
Weitere Verfasser: Gallina, Barbara (HerausgeberIn), Skavhaug, Amund 1965- (HerausgeberIn), Bitsch, Friedemann 1974- (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2018]
Schriftenreihe:Programming and software engineering 11093
Schlagworte:
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
Software Engineering
Systems and Data Security
Control Structures and Microprogramming
Logic design
Software engineering
Data protection
Microprogramming
Zuverlässigkeit
Software
Formale Methode
Konferenzschrift > 2018 > Västerås
Online-Zugang:DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Ähnliche Einträge