Did you mean:
keywords:(semantic)
The use of complex stateflow-charts with KIEL - an automotive case study
Psychologische Bewertung von Lärm in Personenwagen: Analyse nach Nationalität, Alter und Geschlecht
Domain-specific modelling of railway control systems with integrated verification and validation
What really affect customer perception? - a window regulator sound quality example
Formale Beschreibung und Verifikation von Hardwareprotokollen