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.

Ensuring Safety with System Level Formal Modelling

Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier. Ensuring Safety with System Level Formal Modelling. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. Volume 12478 of Lecture Notes in Computer Science, pages 393-403, Springer, 2020. [doi]

Authors

Thierry Lecomte

This author has not been identified. Look up 'Thierry Lecomte' in Google

Mathieu Comptier

This author has not been identified. Look up 'Mathieu Comptier' in Google

Julien Molinero Perez

This author has not been identified. Look up 'Julien Molinero Perez' in Google

Denis Sabatier

This author has not been identified. Look up 'Denis Sabatier' in Google
runs on