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.

Domain-Oriented Verification Management

Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy. Domain-Oriented Verification Management. In El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez 0001, editors, Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 11163 of Lecture Notes in Computer Science, pages 354-370, Springer, 2018. [doi]

Authors

Vincent Leildé

This author has not been identified. Look up 'Vincent Leildé' in Google

Vincent Ribaud

This author has not been identified. Look up 'Vincent Ribaud' in Google

Ciprian Teodorov

This author has not been identified. Look up 'Ciprian Teodorov' in Google

Philippe Dhaussy

This author has not been identified. Look up 'Philippe Dhaussy' in Google
runs on