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.

Handling Consistency Between Safety and System Models

Tatiana Prosvirnova, Estelle Saez, Christel Seguin, Pierre Virelizier. Handling Consistency Between Safety and System Models. In Marco Bozzano, Yiannis Papadopoulos, editors, Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings. Volume 10437 of Lecture Notes in Computer Science, pages 19-34, Springer, 2017. [doi]

Authors

Tatiana Prosvirnova

This author has not been identified. Look up 'Tatiana Prosvirnova' in Google

Estelle Saez

This author has not been identified. Look up 'Estelle Saez' in Google

Christel Seguin

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

Pierre Virelizier

This author has not been identified. Look up 'Pierre Virelizier' in Google
runs on