Real-Time Detection of Failures of Reactive Systems

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 265-275
https://doi.org/10.1007/978-1-4471-2061-2_27

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Concurrent runtime monitoring of formally specified programs
Computer, 1993
An automated oracle for software testing
IEEE Transactions on Reliability, 1992
No.4 ESS: Maintenance Software
Bell System Technical Journal, 1977