Login / Signup

Formal methods for the validation of automotive product configuration data.

Carsten SinzAndreas KaiserWolfgang Küchlin
Published in: Artif. Intell. Eng. Des. Anal. Manuf. (2003)
Keyphrases
  • formal methods
  • data sources
  • product configuration
  • database
  • data analysis
  • data quality
  • management system
  • databases
  • artificial intelligence
  • natural language
  • knowledge discovery
  • database design