| dc.contributor.author | Gehrke, Matthias | |
| dc.contributor.author | Hirsch, Martin | |
| dc.contributor.author | Schäfer, Wilhelm | |
| dc.contributor.author | Niggemann, Oliver | |
| dc.contributor.author | Stichling, Dirk | |
| dc.contributor.author | Nickel, Ulrich | |
| dc.contributor.editor | Bleek, Wolf-Gideon | |
| dc.contributor.editor | Raasch, Jörg | |
| dc.contributor.editor | Züllighoven, Heinz | |
| dc.date.accessioned | 2019-05-15T09:43:20Z | |
| dc.date.available | 2019-05-15T09:43:20Z | |
| dc.date.issued | 2007 | |
| dc.identifier.isbn | 978-3-88579-199-7 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/22769 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | Software Engineering 2007 – Fachtagung des GI-Fachbereichs Softwaretechnik | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-105 | |
| dc.title | Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen | de |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 251-252 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Hamburg | |
| mci.conference.date | 27.-30.03.2007 | |