Computer Safety, Reliability and Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540651109, 9783540496465

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying a time-triggered protocol in a multi-language environment

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_14 ◽

1998 ◽

pp. 185-195 ◽

Cited By ~ 5

Author(s):

Agathe Merceron ◽

Monika Müllerburg ◽

G. Michele Pinna

Keyword(s):

Language Environment

Download Full-text

Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_11 ◽

1998 ◽

pp. 143-155

Author(s):

Silvije Jovalekic ◽

Bernd Rist

Keyword(s):

Software Engineering ◽

Object Oriented ◽

Security Systems

Download Full-text

Object Oriented Safety Analysis of an Extra High Voltage Substation Bay

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_24 ◽

1998 ◽

pp. 306-315 ◽

Cited By ~ 1

Author(s):

Bartosz Nowicki ◽

Janusz Górski

Keyword(s):

High Voltage ◽

Object Oriented ◽

Safety Analysis ◽

Extra High Voltage

Download Full-text

An Agenda for Specifying Software Components with Complex Data Models

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_2 ◽

1998 ◽

pp. 16-31 ◽

Cited By ~ 3

Author(s):

Kirsten Winter ◽

Thomas Santen ◽

Maritta Heisel

Keyword(s):

Data Models ◽

Complex Data ◽

Software Components

Download Full-text

Methods and Languages for Safety Related Real Time Programming

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_15 ◽

1998 ◽

pp. 196-208 ◽

Cited By ~ 2

Author(s):

Wolfgang A. Halang ◽

Alceu Heinke Frigeri

Keyword(s):

Real Time

Download Full-text

Model and Implementation of a Secure SW-Development Process for Mission Critical Software

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_10 ◽

1998 ◽

pp. 128-142

Author(s):

Ferdinand J. Dafelmair

Keyword(s):

Development Process ◽

Mission Critical

Download Full-text

Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_4 ◽

1998 ◽

pp. 45-59 ◽

Cited By ~ 5

Author(s):

Vincent David ◽

Jean Delcoigne ◽

Evelyne Leret ◽

Alain Ourghanlian ◽

Philippe Hilsenkopf ◽

...

Keyword(s):

Real Time ◽

Real Time Systems ◽

Safety Properties ◽

Safety Critical ◽

Time Systems

Download Full-text

A Performance Comparison of Group Security Mechanisms

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_8 ◽

1998 ◽

pp. 103-116

Author(s):

Andrew Hutchison ◽

Michael Wallbaum

Keyword(s):

Performance Comparison ◽

Group Security ◽

A Performance

Download Full-text

Verifying Integrity of Decision Diagrams

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_30 ◽

1998 ◽

pp. 380-389 ◽

Cited By ~ 3

Author(s):

Rolf Drechsler

Keyword(s):

Decision Diagrams

Download Full-text

Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns

Computer Safety, Reliability and Security - Lecture Notes in Computer Science ◽

10.1007/3-540-49646-7_3 ◽

1998 ◽

pp. 32-44

Author(s):

Heinrich Rust

Keyword(s):

Real Time ◽

Cell Components ◽

Production Cell

Download Full-text

Computer Safety, Reliability and Security - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Verifying a time-triggered protocol in a multi-language environment

Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems

Object Oriented Safety Analysis of an Extra High Voltage Substation Bay

An Agenda for Specifying Software Components with Complex Data Models

Methods and Languages for Safety Related Real Time Programming

Model and Implementation of a Secure SW-Development Process for Mission Critical Software

Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems

A Performance Comparison of Group Security Mechanisms

Verifying Integrity of Decision Diagrams

Safety in Production Cell Components: An Approach Combining Formal Real Time Specifications and Patterns

Computer Safety, Reliability and Security - Lecture Notes in Computer Science
Latest Publications