Real Time Computing - NATO ASI Series
Latest Publications

TOTAL DOCUMENTS

131

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642880513, 9783642880490

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multicast Protocols: Combining Real-Time and Reliability

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_95 ◽

1994 ◽

pp. 668-669

Author(s):

Dick Alstein

Keyword(s):

Real Time ◽

Multicast Protocols

Statement on a Concept for Dynamic Testing in Four Sequential Steps During Software Development

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_83 ◽

1994 ◽

pp. 642-644

Author(s):

Rudolf Lauber

Keyword(s):

Software Development ◽

Dynamic Testing

Predictability Versus Adaptability in Real-Time Computing Thomas

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_79 ◽

1994 ◽

pp. 634-634

Author(s):

Thomas F. Lawrence

Keyword(s):

Real Time ◽

Real Time Computing

Formal Methods for Fault-Tolerant, Real-Time System Design

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_74 ◽

1994 ◽

pp. 625-625

Author(s):

Jack Goldberg

Keyword(s):

System Design ◽

Real Time ◽

Formal Methods ◽

Fault Tolerant ◽

Time System ◽

Real Time System

Formal Methods: Yes but How ?

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_73 ◽

1994 ◽

pp. 622-624

Author(s):

Janusz Zalewski

Keyword(s):

Formal Methods

A New Specification/Design/Implementation Paradigm for Real-Time Avionics Architecture and Systems

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_65 ◽

1994 ◽

pp. 606-607

Author(s):

Alfred Anderman

Keyword(s):

Real Time

The United States Navy’s Next Generation Computer Resources Program and the Testing Issues of Standardized Real-Time Operating Systems

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_60 ◽

1994 ◽

pp. 597-598

Author(s):

Timothy Jodoin

Keyword(s):

United States ◽

Real Time ◽

Operating Systems ◽

The United States ◽

Next Generation ◽

Generation Computer ◽

Computer Resources

Towards Process-Oriented Technology Transfer between Academia and Industry

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_56 ◽

1994 ◽

pp. 590-591

Author(s):

Petri J. Pulli

Keyword(s):

Technology Transfer ◽

Process Oriented

The Role of Academia, Industry and Government in Real-Time Computing

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_55 ◽

1994 ◽

pp. 588-589

Author(s):

Günter Hommel

Keyword(s):

Real Time ◽

Real Time Computing

Programming Language Standardization. A Case Study for Forth

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_50 ◽

1994 ◽

pp. 578-581

Author(s):

V. Vande Keere ◽

J. Vandewege

Keyword(s):

Programming Language ◽

Language Standardization