Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Runtime Verification for Ultra-Critical Systems

201251 citationsBook Chapter

Authors

Lee Pike · Galois (United States)

Sebastian Niller · National Institute of Aerospace

Nis Wegmann · University of Copenhagen

Topics & Keywords

Real-Time Systems Scheduling Distributed systems and fault tolerance Embedded Systems Design Techniques

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-642-29860-8_23

Field-Weighted Citation Impact: 13.19

Runtime Verification for Ultra-Critical Systems | Researchclopedia