Systematic Use Case Interviews for Specification of Automotive Systems.

Shariful Islam Hannes Omasreiter

Published in: APSEC (2005)

Keyphrases

computer vision
complex systems
genetic algorithm
management system
computer systems
machine learning
case study
distributed systems
intelligent systems
qualitative and quantitative
embedded systems
formal methods
operational semantics
safety critical