Multicore-Softwarefehler im Visier: Automatische Fehlererkennung in Entwürfen paralleler Programme
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2013 |
| Sprache | Deutsch |
| Identifikator | ISSN: 0945-0491 KITopen-ID: 1000038491 |
| Erschienen in | Objektspektrum |
| Verlag | SIGS DATACOM GmbH |
| Band | 2013 |
| Heft | 1 |
| Seiten | 72-77 |