Did you mean:
+keyword:(semantik)
The use of complex stateflow-charts with KIEL - an automotive case study
What really affect customer perception? - a window regulator sound quality example
Domain-specific modelling of railway control systems with integrated verification and validation
Formale Beschreibung und Verifikation von Hardwareprotokollen