Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen

Gehrke, MatthiasHirsch, MartinSchäfer, WilhelmNiggemann, OliverStichling, DirkNickel, UlrichBleek, Wolf-GideonRaasch, JörgZüllighoven, Heinz2019-05-152019-05-152007978-3-88579-199-7https://dl.gi.de/handle/20.500.12116/22769deVerifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software SystemenText/Conference Paper1617-5468