Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Runtime Verification: Second School on Runtime Verification, as Part of the ArVi COST Action 1402 : Overview and Reflections
:
Overview and Reflections
Beteiligte:
Falcone, Yliès
Erschienen:
Springer International Publishing, 2018