Formal Runtime Error Detection During Development in the Automotive Industry.

Jesko Hecking-Harbusch Jochen Quante Maximilian Schlund

Published in: CoRR (2023)

Keyphrases

automotive industry
error detection
error correction
mass customization
requirements engineering
product design
artificial intelligence
data warehouse
software engineering
electronic commerce
load balancing
computer aided