eBook
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 |