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.

Deriving Safety Software Requirements from an AltaRica System Model

Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc. Deriving Safety Software Requirements from an AltaRica System Model. In Michael D. Harrison, Mark-Alexander Sujan, editors, Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings. Volume 5219 of Lecture Notes in Computer Science, pages 320-331, Springer, 2008. [doi]

Authors

Sophie Humbert

This author has not been identified. Look up 'Sophie Humbert' in Google

Christel Seguin

This author has not been identified. Look up 'Christel Seguin' in Google

Charles Castel

This author has not been identified. Look up 'Charles Castel' in Google

Jean-Marc Bosc

This author has not been identified. Look up 'Jean-Marc Bosc' in Google
runs on