Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 76 results
Sort by: relevance publication year

On-Line Surveillance and Diagnostic System for Nuclear Power Plant Monitoring

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Özer Ciftcioglu | Erdinc Turkcan

https://doi.org/10.1007/978-3-642-88049-0_30 Actions

Integration of Large Scale Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Wilhelm Rossak

https://doi.org/10.1007/978-3-642-88049-0_32 Actions

Real-Time Operating Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: John A. Stankovic

https://doi.org/10.1007/978-3-642-88049-0_5 Actions

Next Step: Responsive Multicomputer Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Miroslaw Malek

https://doi.org/10.1007/978-3-642-88049-0_89 Actions

Using Integration Architectures for Systems Development

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Wilhelm Rossak

https://doi.org/10.1007/978-3-642-88049-0_85 Actions

Engineering Predictable Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Harold W. Lawson

https://doi.org/10.1007/978-3-642-88049-0_3 Actions

Goal Oriented Resource Management

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Christos Nikolaou

https://doi.org/10.1007/978-3-642-88049-0_37 Actions

Towards Provable Correct Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Ronald M. Tol

https://doi.org/10.1007/978-3-642-88049-0_123 Actions

A Toolset for Developing Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Constance Heitmeyer

https://doi.org/10.1007/978-3-642-88049-0_31 Actions

Software Life Cycle of Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Theodor Tempelmeier

https://doi.org/10.1007/978-3-642-88049-0_86 Actions

Distributed Transport Systems and Aspects of Real Time

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Klaus Rebensburg

https://doi.org/10.1007/978-3-642-88049-0_117 Actions

Formal Methods for Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Leonor Barroca | John McDermid

https://doi.org/10.1007/978-3-642-88049-0_71 Actions

Functional Versus Non-Functional Requirements Analysis

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Marco Spuri

https://doi.org/10.1007/978-3-642-88049-0_120 Actions

A Consensus-Based Framework for Responsive Computer System Design

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Miroslaw Malek

https://doi.org/10.1007/978-3-642-88049-0_15 Actions

Safety Engineering and Assurance for Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: John A. McDermid

https://doi.org/10.1007/978-3-642-88049-0_8 Actions

Formal Specifications for Real-Time Fault-Tolerant Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: E. B. Fernandez

https://doi.org/10.1007/978-3-642-88049-0_107 Actions

HARTS: A Distributed Real-Time Architecture

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Kang G. Shin

https://doi.org/10.1007/978-3-642-88049-0_20 Actions

An Overview of Real-Time Database Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Ben Kao | Hector Garcia-Molina

https://doi.org/10.1007/978-3-642-88049-0_13 Actions

Safety Licensing and Formal Correctness of High Integrity Embedded Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: John Cullyer

https://doi.org/10.1007/978-3-642-88049-0_9 Actions

Real-Time Systems in the Field of Mechatronics

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Martin Törngren | Jan Wikander

https://doi.org/10.1007/978-3-642-88049-0_124 Actions
Feedback: support@crossref.org