An example from space: New development for high dependability for space board computing
Safety of compilers and translation techniques - Status quo of technology and science
Varianten in der Automobilelektronikentwicklung. Herausforderungen und Lösungsansätze
Effizienzsteigerung im Systemtest von Steuergeräten. Eine empirische Untersuchung