FORMAL DESIGN AND VERIFICATION OF A RELIABLE COMPUTING PLATFORM FOR REAL-TIME CONTROL Phase 1 Results

@inproceedings{Ben1990FORMALDA,
  title={FORMAL DESIGN AND VERIFICATION OF A RELIABLE COMPUTING PLATFORM FOR REAL-TIME CONTROL Phase 1 Results},
  author={Ben and Lidia Di Vito and Ricky and William Butler and Guillaume James and L..},
  year={1990}
}
Highly Cited
This paper has 47 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-5 of 5 references

A Provably Correct Design of a Fault-Tolerant Clock Synchronization Circuit

Paul S. Miner, Peter A. Padilla, Wilfredo Torres
In 11th Digital Avionics Systems Conference, • 1992
View 2 Excerpts

An Extension to Schneider's General Paradigm for Fault-Tolerant Clock Synchronization

Miner, S Paul
NASA Technical Memorandum • 1992
View 1 Excerpt

Formal Verification of a Fault-Tolerant Clock Synchronization Algorithm

John Rushby, Friedrich von Henke
NASA Contractor Report • 1989
View 2 Excerpts