> 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: Sokolsky, Oleg; Roşu, Grigore Erschienen: Springer Science and Business Media LLC, 2012 Erschienen in: Formal Methods in System Design, 41 (2012) 3, Seite 233-235 Sprache: Englisch DOI: 10.1007/s10703-012-0174-0 ISSN: 1572-8102; 0925-9856 Schlagwörter: Hardware and Architecture ; Theoretical Computer Science ; Software Entstehung: Anmerkungen: