| dc.contributor.author | Gebhardt, Markus | |
| dc.contributor.author | Kaske, Axel | |
| dc.date.accessioned | 2023-03-20T10:08:01Z | |
| dc.date.available | 2023-03-20T10:08:01Z | |
| dc.date.issued | 2011 | |
| dc.identifier.issn | 0720-8928 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/40967 | |
| dc.description.abstract | The following article will have a look on methods for validation and verification of software requested for safety related systems by ISO26262 (or similar standards) and will point out how some dedicated tools from ETAS may help to fulfill and implement these. A brief introduction into the underlying technology will be given in order to discuss the aspects/use cases where these tools can be used either for simulation purpose or in combination with the final target. | en |
| dc.language.iso | en | |
| dc.publisher | Geselllschaft für Informatik e.V. | |
| dc.relation.ispartof | Softwaretechnik-Trends Band 31, Heft 3 | |
| dc.title | Tools and Methods for Validation and Verification as requested by ISO26262 | en |
| dc.type | Journal Articles | |
| dc.pubPlace | Bonn | |
| mci.conference.sessiontitle | Berichte aus den Fachgruppen und Arbeitskreisen | |
