SAFECOMP '95:
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | German |
| Veröffentlicht: |
London u.a.
Springer
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 516 S. graph. Darst. |
| ISBN: | 3540199624 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010445114 | ||
| 003 | DE-604 | ||
| 005 | 19960315 | ||
| 007 | t| | ||
| 008 | 951016s1995 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 945425236 |2 DE-101 | |
| 020 | |a 3540199624 |c kart. : DM 148.00 |9 3-540-19962-4 | ||
| 035 | |a (OCoLC)64704230 | ||
| 035 | |a (DE-599)BVBBV010445114 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-83 | ||
| 082 | 0 | |a 629.89 |2 20 | |
| 084 | |a ST 276 |0 (DE-625)143642: |2 rvk | ||
| 111 | 2 | |a SAFECOMP |n 14 |d 1995 |c Belgirate |j Verfasser |0 (DE-588)2149980-9 |4 aut | |
| 245 | 1 | 0 | |a SAFECOMP '95 |c The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11 - 13 October 1995. Ed. by Gerhard Rabe |
| 264 | 1 | |a London u.a. |b Springer |c 1995 | |
| 300 | |a XII, 516 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Automatic control |x Data processing |x Reliability |x Congresses | |
| 650 | 4 | |a Computer security |x Congresses | |
| 650 | 4 | |a Computers |x Reliability |x Congresses | |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datensicherung |0 (DE-588)4011144-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Technische Sicherheit |0 (DE-588)4059233-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersicherheit |0 (DE-588)4274324-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mensch-Maschine-Kommunikation |0 (DE-588)4125909-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Belgirate |2 gnd-content | |
| 689 | 0 | 0 | |a Computersicherheit |0 (DE-588)4274324-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datensicherung |0 (DE-588)4011144-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 2 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Mensch-Maschine-Kommunikation |0 (DE-588)4125909-9 |D s |
| 689 | 3 | 1 | |a Technische Sicherheit |0 (DE-588)4059233-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Rabe, Gerhard |e Sonstige |4 oth | |
| 710 | 2 | |a Europäische Kommission |b Gemeinsame Forschungsstelle |b Institute for Systems Engineering and Informatics |e Sonstige |0 (DE-588)5112690-4 |4 oth | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006961660&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006961660 | |
Datensatz im Suchindex
| _version_ | 1820868268510937088 |
|---|---|
| adam_text |
CONTENTS
SESSION
1:
GENERAL
ISSUES,GUIDELINES
E.
SCHOITSCH
(A):
SOFTWARE
BEST
PRACTICES
IN
DEPENDABLE
SYSTEMS:
THE
EUROPEAN
RESEARCH
PROJECTS
ENCRESS,
OLOS
AND
ESPITI
FROM
A
PARTNER
'
S
PERSPECTIVE
.
3
H.
KREBS
(D):
ASSESSMENT
ON
THE
BASIS
OF
STANDARDS
-
GAPS
AND
HOW
TO
BRIDGE
THEM
.
12
SESSION
2:
SAFETY
ANALYSIS
A.
SAEED,
R.
DE
LEMOS,
T.
ANDERSON
(UK):
SAFETY
ANALYSIS
FOR
REQUIREMENTS
SPECIFICATIONS:
METHODS
AND
TECHNIQUES
.
27
M.F.
CHUDLEIGHJ.R,
CATMUR,
F.
REDMILL
(UK):
A
GUIDELINE
FOR
HAZOP
STUDIES
ON
SYSTEMS
WHICH
INCLUDE
A
PROGRAMMABLE
ELECTRONIC
SYSTEM
.
42
J.M.
VBAS,
K.
W.
MILLER
(USA):
AN
AUTOMATED
CODE-BASED
FAULT-TFEE
MITIGATION
TECHNIQUE
.
59
SESSIONS:
FORMAL
METHODS
KCHAN,
C.
FENCOTT,
B.
HEBBRON
(UK):
FORMAL SUPPORT
FOR
THE
SAFETY
ANALYSIS
OF
REQUIREMENT
MODELS
.
75
J.
GDRSKI,
J.
MAGOTT,
A.
WARDZINSKI
(PL):
MODELLING
FAULT
TVEES
USING
PETRI
NETS
.
90
AJ.
HARRISON,
I.D.R.
SHANNON
(UK):
THE
APPLICATION
OF
FORMAL
METHODS
TO
RAILWAY
SIGNALLING
SYSTEMS
SPECIFICATION
AND
THE
ESPRIT
III
PROJECT
CASCADE
.
101
J.A.
MCDERMID,
R.H.
PIERCE
(UK):
ACCESSIBLE
FORMAL
METHOD
SUPPORT
FOR
PLC
SOFTWARE
DEVELOPMENT
.
113
SESSION
4:
HUMAN
AND
LEGAL
ASPECTS
R.J.
TIEZEMA
(NL):
ELIMINATING
THE
UNEXPECTED
.
131
S.J.
WESTERMAN,
N.M.
SHRYANE,
C.M.
CRAWSHAW,
G.R.J.
HOCKEY,
C.
W.
WYATT-MILLINGTON
(UK):
COGNITIVE
DIVERSITY:
A
STRUCTURED
APPROACH
TO
TRAPPING
HUMAN
ERROR
.
142
D.
DAVIS
(UK):
LEGAL
ASPECTS
OF
SAFETY
CRITICAL
SYSTEMS
.
156
INVITED
PAPER
B.
LITTLEWOOD,
D.
WRIGHT
(UK):
A
BAYESIAN
MODEL
THAT
COMBINES
DISPARATE
EVIDENCE
FOR
THE
QUANTITATIVE
ASSESSMENT
OF
SYSTEM
DEPENDABILITY
.
173
SESSIONS:
DESIGN
M.
HEISEI
(D):
SIX
STEPS
TOWARDS
PROVABLY
SAFE
SOFTWARE
.
191
W.A.
HALANG,
B.J.
KRDMER,
N.
VOLKER
(D):
FORMALLY
VERIFIED
FIRMWARE
MODULES
FOR
INDUSTRIAL
PROCESS
AUTOMATION
.
206
SESSION
6:
ASSESSMENT
G.
PICCIOLO,
P.
GIANNINB
(I):
PROGRAMMABLE
ELECTRONIC
CONTROLLERS
(PEC)
PERFORMANCE
ASSESSMENT
-
AN
APPROACH
FOR
RELIABILITY
QUANTIFICATION
.
221
VIII
F.
ENGELMANN
(CH),
W.
SCHYNOLL
(D),
H.
STIENEN
(CH):
BOOTSTRAP:
SOFTWARE
PROCESS
ASSESSMENT
-
EXPERIENCES
AND
FURTHER
DEVELOPMENTS
.
237
K.M.
HOBLEY,
P.H.
JESTY
(UK):
ANALYSIS
AND
ASSESSMENT
OF
ADVANCED
ROAD
TRANSPORT
TELEMATIC
SYSTEMS
.
252
SESSION
7:
SAFE
SOFTWARE
J.
BLIEBERGER
(A):
LOOPS FOR
SAFETY
CRITICAL
APPLICATIONS
.
269
M.
VIOLA
(CAN):
ONTARIO
HYDRO
'
S
EXPERIENCE
WITH
NEW
METHODS
FOR
ENGINEERING
SAFETY
CRITICAL
SOFTWARE
.
283
K.N.
NARAHARI,
S.
PRASAD,
K.
KARUNAKAR
(IND):
IS
SOFTWARE
SAFE
TO
FLY?
.
299
SESSIONS:
APPLICATIONS
I
E.
RUIZ
MORALES
(EC):
A
SOFTWARE
DEVELOPMENT
APPROACH
FOR
ROBOTICS
CONTROL
SYSTEMS
.
317
J.
CHRISTMANSSON,
Z.
KALBARCZYK,
J.
TORIN
(S):
AN
ATTEMPT
TO
EVALUATE
FUNCTIONAL
DIVERSITY
EMPLOYED
IN
A
REACTOR
PROTECTION
SYSTEM
.
331
A.
COOMBES,
J.
MCDERMID,
J.
MOFFETT
(UK),
P.
MORRIS
(EC):
REQUIREMENTS
ANALYSIS
AND
SAFETY:
A
CASE
STUDY
(USING
GRASP)
.
353
SESSION
9:
APPLICATIONS
II
A.J.C.
SHARKEY,
N.E.
SHARKEY,
G.O.
CHANDROTH
(UK):
NEURAL
NETS
AND
DIVERSITY
.
375
C.
RABTFAC
(F):
ON-LINE
SOFTWARE
ERROR
DETECTION
BY
EXECUTABLE
ASSERTIONS:
FROM
THEORY
TO
PRACTICE
.
390
D.
HUGHES
(UK):
THE
USE
OF
ANIMATED
GRAPHICAL
SIMULATION
TECHNIQUES
TO
FACILITATE
SAFE
OPERATION,
ASSEMBLY
AND
DISASSEMBLY
OF
SAFETY
CRITICAL
EQUIPMENT
AND
SYSTEMS
.
403
INVITED
PAPER
J.-P.
HECKMANN,
S.
SHIRLAW
(F):
AN
INDUSTRIAL
VIEW
OF
REQUIREMENTS
ENGINEERING
AND
SAFETY
.
411
SESSION
10:
CASE
STUDIES
P.
FENELON,
T.P.
KELLY,
J.A.
MCDERMID
(UK):
SAFETY
CASES FOR
SOFTWARE
APPLICATION
REUSE
.
419
P.G.
BISHOP,
R.E.
BLOOMFIELD
(UK):
THE
SHIP
SAFETY
CASE
APPROACH
.
437
M.
EL
KOURSI,
B.
LETRUNG,
H.
WAESELYNCK,
F.
BARANOWSKI
(F):
SAFETY
CASE:
STRUCTURE
AND
ROLE
.
452
SESSION
11:
VALIDATION
AND
VERIFICATION
M.
HIETIKKO,
R.
TIUSANEN
(FIN):
PRACTICAL
APPROACH
FOR
THE
EVALUATION
OF
SAFETY
RELATED
PROGRAMMABLE
ELECTRONICS
.
467
A.
ANSELMI,
C.
BEMARDESCHI,
A.
FANTECHI,
S.
GNESI,
S.
LAROSA,
G.
MONGARDI,
F.
TORIELLI
(I):
AN
EXPERIENCE
IN
FORMAL
VERIFICATION
OF
SAFETY
PROPERTIES
OF
A
RAILWAY
SIGNALLING
CONTROL
SYSTEM
.
474
A.
BONDAVALLI,
S.
CHIARADONNA,
F.
DI
GIANDOMENICO,
S.
LA
TBRRE
(I):
DEPENDABILITY
OF
ITERATIVE
SOFTWARE:
A
MODEL
FOR
EVALUATING
THE
EFFECTS
OF
INPUT
CORRELATION
.
489
T.
JENNINGS,
P.
TAYLOR
(UK):
THE
VERIFICATION
OF
COMPILED
CODE
.
504
AUTHOR
INDEX
.
515 |
| any_adam_object | 1 |
| author_corporate | SAFECOMP Belgirate |
| author_corporate_role | aut |
| author_facet | SAFECOMP Belgirate |
| author_sort | SAFECOMP Belgirate |
| building | Verbundindex |
| bvnumber | BV010445114 |
| classification_rvk | ST 276 |
| ctrlnum | (OCoLC)64704230 (DE-599)BVBBV010445114 |
| dewey-full | 629.89 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.89 |
| dewey-search | 629.89 |
| dewey-sort | 3629.89 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010445114</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960315</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951016s1995 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">945425236</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540199624</subfield><subfield code="c">kart. : DM 148.00</subfield><subfield code="9">3-540-19962-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64704230</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010445114</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.89</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 276</subfield><subfield code="0">(DE-625)143642:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SAFECOMP</subfield><subfield code="n">14</subfield><subfield code="d">1995</subfield><subfield code="c">Belgirate</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2149980-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">SAFECOMP '95</subfield><subfield code="c">The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11 - 13 October 1995. Ed. by Gerhard Rabe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 516 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic control</subfield><subfield code="x">Data processing</subfield><subfield code="x">Reliability</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer security</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield><subfield code="x">Reliability</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mensch-Maschine-Kommunikation</subfield><subfield code="0">(DE-588)4125909-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Belgirate</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Computersicherheit</subfield><subfield code="0">(DE-588)4274324-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datensicherung</subfield><subfield code="0">(DE-588)4011144-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Mensch-Maschine-Kommunikation</subfield><subfield code="0">(DE-588)4125909-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Technische Sicherheit</subfield><subfield code="0">(DE-588)4059233-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rabe, Gerhard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Europäische Kommission</subfield><subfield code="b">Gemeinsame Forschungsstelle</subfield><subfield code="b">Institute for Systems Engineering and Informatics</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5112690-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006961660&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006961660</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Belgirate gnd-content |
| genre_facet | Konferenzschrift 1995 Belgirate |
| id | DE-604.BV010445114 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:40Z |
| institution | BVB |
| institution_GND | (DE-588)2149980-9 (DE-588)5112690-4 |
| isbn | 3540199624 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006961660 |
| oclc_num | 64704230 |
| open_access_boolean | |
| owner | DE-739 DE-83 |
| owner_facet | DE-739 DE-83 |
| physical | XII, 516 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| spelling | SAFECOMP 14 1995 Belgirate Verfasser (DE-588)2149980-9 aut SAFECOMP '95 The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11 - 13 October 1995. Ed. by Gerhard Rabe London u.a. Springer 1995 XII, 516 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Datenverarbeitung Automatic control Data processing Reliability Congresses Computer security Congresses Computers Reliability Congresses Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Datensicherung (DE-588)4011144-1 gnd rswk-swf Technische Sicherheit (DE-588)4059233-9 gnd rswk-swf Software (DE-588)4055382-6 gnd rswk-swf Computersicherheit (DE-588)4274324-2 gnd rswk-swf Mensch-Maschine-Kommunikation (DE-588)4125909-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Belgirate gnd-content Computersicherheit (DE-588)4274324-2 s DE-604 Datensicherung (DE-588)4011144-1 s Software (DE-588)4055382-6 s Zuverlässigkeit (DE-588)4059245-5 s Mensch-Maschine-Kommunikation (DE-588)4125909-9 s Technische Sicherheit (DE-588)4059233-9 s Rabe, Gerhard Sonstige oth Europäische Kommission Gemeinsame Forschungsstelle Institute for Systems Engineering and Informatics Sonstige (DE-588)5112690-4 oth DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006961660&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | SAFECOMP '95 Datenverarbeitung Automatic control Data processing Reliability Congresses Computer security Congresses Computers Reliability Congresses Zuverlässigkeit (DE-588)4059245-5 gnd Datensicherung (DE-588)4011144-1 gnd Technische Sicherheit (DE-588)4059233-9 gnd Software (DE-588)4055382-6 gnd Computersicherheit (DE-588)4274324-2 gnd Mensch-Maschine-Kommunikation (DE-588)4125909-9 gnd |
| subject_GND | (DE-588)4059245-5 (DE-588)4011144-1 (DE-588)4059233-9 (DE-588)4055382-6 (DE-588)4274324-2 (DE-588)4125909-9 (DE-588)1071861417 |
| title | SAFECOMP '95 |
| title_auth | SAFECOMP '95 |
| title_exact_search | SAFECOMP '95 |
| title_full | SAFECOMP '95 The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11 - 13 October 1995. Ed. by Gerhard Rabe |
| title_fullStr | SAFECOMP '95 The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11 - 13 October 1995. Ed. by Gerhard Rabe |
| title_full_unstemmed | SAFECOMP '95 The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11 - 13 October 1995. Ed. by Gerhard Rabe |
| title_short | SAFECOMP '95 |
| title_sort | safecomp 95 |
| topic | Datenverarbeitung Automatic control Data processing Reliability Congresses Computer security Congresses Computers Reliability Congresses Zuverlässigkeit (DE-588)4059245-5 gnd Datensicherung (DE-588)4011144-1 gnd Technische Sicherheit (DE-588)4059233-9 gnd Software (DE-588)4055382-6 gnd Computersicherheit (DE-588)4274324-2 gnd Mensch-Maschine-Kommunikation (DE-588)4125909-9 gnd |
| topic_facet | Datenverarbeitung Automatic control Data processing Reliability Congresses Computer security Congresses Computers Reliability Congresses Zuverlässigkeit Datensicherung Technische Sicherheit Software Computersicherheit Mensch-Maschine-Kommunikation Konferenzschrift 1995 Belgirate |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006961660&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT safecompbelgirate safecomp95 AT rabegerhard safecomp95 AT europaischekommissiongemeinsameforschungsstelleinstituteforsystemsengineeringandinformatics safecomp95 |