Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540660934, 9783540487531

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Application (Layer 7) Routing Switch with Ada95 Software

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_22 ◽

1999 ◽

pp. 250-262 ◽

Cited By ~ 1

Author(s):

Mike Kamrad

Keyword(s):

Application Layer

Download Full-text

An Incremental Recovery Cache Supporting Software Fault Tolerance

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_33 ◽

1999 ◽

pp. 385-396 ◽

Cited By ~ 2

Author(s):

P. Rogers ◽

A. J. Wellings

Keyword(s):

Fault Tolerance ◽

Software Fault Tolerance ◽

Software Fault

Download Full-text

The Ceiling Protocol in Multi-moded Real-Time Systems1

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_24 ◽

1999 ◽

pp. 275-286 ◽

Cited By ~ 2

Author(s):

Jorge Real ◽

Andy Wellings

Keyword(s):

Real Time

Download Full-text

On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_21 ◽

1999 ◽

pp. 238-249

Author(s):

Helge Hagenauer

Keyword(s):

Distributed Simulation ◽

Simulation System

Download Full-text

yaRTI, a Ada 95 HLA Run-Time Infrastructure

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_17 ◽

1999 ◽

pp. 187-198 ◽

Cited By ~ 1

Author(s):

Dominique Canazzi

Keyword(s):

Run Time ◽

Ada 95

Download Full-text

Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_16 ◽

1999 ◽

pp. 181-186

Author(s):

Alexandr Korochkin

Keyword(s):

Engineering Education ◽

Computer Engineering ◽

Ada 95

Download Full-text

Translating Time Petri Net Structures in Ada 95 Statements

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_14 ◽

1999 ◽

pp. 158-169

Author(s):

F. J. García ◽

J. L. Villarroel

Keyword(s):

Petri Net ◽

Time Petri Net ◽

Ada 95

Download Full-text

Automatic Veri.cation of Concurrent Ada Programs

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_13 ◽

1999 ◽

pp. 146-157 ◽

Cited By ~ 6

Author(s):

Eric Bruneton ◽

Jean-François Pradat-Peyre

Download Full-text

Environment for the Development and Specification of Real-Time Ada Programs

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_11 ◽

1999 ◽

pp. 124-135

Author(s):

Apolinar González ◽

Alfons Crespo

Keyword(s):

Real Time

Download Full-text

Browsing a Component Library Using Non-functional Information

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_29 ◽

1999 ◽

pp. 332-343 ◽

Cited By ~ 2

Author(s):

Xavier Franch ◽

Josep Pinyol ◽

Joan Vancells

Keyword(s):

Functional Information ◽

Component Library

Download Full-text

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An Application (Layer 7) Routing Switch with Ada95 Software

An Incremental Recovery Cache Supporting Software Fault Tolerance

The Ceiling Protocol in Multi-moded Real-Time Systems1

On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System

yaRTI, a Ada 95 HLA Run-Time Infrastructure

Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine

Translating Time Petri Net Structures in Ada 95 Statements

Automatic Veri.cation of Concurrent Ada Programs

Environment for the Development and Specification of Real-Time Ada Programs

Browsing a Component Library Using Non-functional Information

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science
Latest Publications