Sciweavers

15401 search results - page 16 / 3081
» Software in Automotive Systems
Sort
View
77
Voted
DATE
2009
IEEE
138views Hardware» more  DATE 2009»
15 years 8 months ago
Semiformal verification of temporal properties in automotive hardware dependent software
Djones Lettnin, Pradeep Kumar Nalla, Jörg Beh...
DATE
2008
IEEE
123views Hardware» more  DATE 2008»
15 years 8 months ago
Verification of Temporal Properties in Automotive Embedded Software
Djones Lettnin, Pradeep Kumar Nalla, Jürgen R...
GI
2009
Springer
15 years 4 months ago
Modellierung variantenreicher Funktionsnetze im Automotive Software Engineering
Abstract: Funktionsnetze geh¨oren w¨ahrend des Systementwurfs im modellgetriebenen Top-Down-Entwicklungsprozess von Fahrzeugsoftware zu den ersten Artefakten; sie werden aus den ...
Cem Mengi, Antonio Navarro Perez, Christian Fu&szl...
OMER
2001
15 years 2 months ago
A Model-Based Approach for Automotive Software Development
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
Peter Braun 0003, Martin Rappl
GI
2008
Springer
15 years 2 months ago
A Model-Based Development Method for Device Drivers
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
Ulrich Margull, Michael Kersten, Nikolaus Regnat