default search action
"Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der ..."
Werner Damm et al. (2003)
- Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich:
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung. GI Jahrestagung (1) 2003: 340-344
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.