> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Introduction to the special issue on runtime verification Beteiligte: Falcone, Yliès; Sánchez, César Erschienen: Springer Science and Business Media LLC, 2018 Erschienen in: Formal Methods in System Design Sprache: Englisch DOI: 10.1007/s10703-018-0320-4 ISSN: 0925-9856; 1572-8102 Schlagwörter: Hardware and Architecture ; Theoretical Computer Science ; Software Entstehung: Anmerkungen: