Domain-Oriented Verification Management

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Domain-Oriented Verification Management
Συγγραφείς: Leildé, VincentAff19, Ribaud, VincentAff18, Teodorov, CiprianAff19, Dhaussy, PhilippeAff19
Συνεισφορές: Hutchison, David, Series EditorAff1, Kanade, Takeo, Series EditorAff2, Kittler, Josef, Series EditorAff3, Kleinberg, Jon M., Series EditorAff4, Mattern, Friedemann, Series EditorAff5, Mitchell, John C., Series EditorAff6, Naor, Moni, Series EditorAff7, Pandu Rangan, C., Series EditorAff8, Steffen, Bernhard, Series EditorAff9, Terzopoulos, Demetri, Series EditorAff10, Tygar, Doug, Series EditorAff11, Weikum, Gerhard, Series EditorAff12, Abdelwahed, El Hassan, editorAff13, Bellatreche, Ladjel, editorAff14, Golfarelli, Mattéo, editorAff15, Méry, Dominique, editorAff16, Ordonez, Carlos, editorAff17
Πηγή: Model and Data Engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings. 11163:354-370
Βάση Δεδομένων: Springer Nature eBooks
Περιγραφή
ISBN:9783030008550
9783030008567
DOI:10.1007/978-3-030-00856-7_24