Domain-Oriented Verification Management

Bibliographic Details
Title:	Domain-Oriented Verification Management
Authors:	Leildé, Vincent^Aff19, Ribaud, Vincent^Aff18, Teodorov, Ciprian^Aff19, Dhaussy, Philippe^Aff19
Contributors:	Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Abdelwahed, El Hassan, editor^Aff13, Bellatreche, Ladjel, editor^Aff14, Golfarelli, Mattéo, editor^Aff15, Méry, Dominique, editor^Aff16, Ordonez, Carlos, editor^Aff17
Source:	Model and Data Engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings. 11163:354-370
Database:	Springer Nature eBooks

Description
ISBN:	9783030008550 9783030008567
DOI:	10.1007/978-3-030-00856-7_24