A Formal Model for Stateful and Variant-Rich Automotive Functions.
| Autor: | KaBmeyer, Michael, Bazan, Peter, Schurius, Markus, Berndt, Rudiger, German, Reinhard |
|---|---|
| Zdroj: | 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW); 2016, p271-277, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|