External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of an Avionics Sensor Voter Using SCADE

Samar Dajani-Brown, Darren D. Cofer, Amar Bouali. Formal Verification of an Avionics Sensor Voter Using SCADE. In Yassine Lakhnech, Sergio Yovine, editors, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Gren. Volume 3253 of Lecture Notes in Computer Science, pages 5-20, Springer, 2004. [doi]

Authors

Samar Dajani-Brown

This author has not been identified. Look up 'Samar Dajani-Brown' in Google

Darren D. Cofer

This author has not been identified. Look up 'Darren D. Cofer' in Google

Amar Bouali

This author has not been identified. Look up 'Amar Bouali' in Google
runs on