> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation Beteiligte: Choi, Yunja; Park, Mingyu; Byun, Taejoon; Kim, Dongwoo Erschienen: Elsevier BV, 2015 Erschienen in: Science of Computer Programming Sprache: Englisch DOI: 10.1016/j.scico.2014.10.006 ISSN: 0167-6423 Schlagwörter: Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang