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