Automated and Model-driven Verification and Validation of Functional Safety
| Reference number | |
| Coordinator | SAAB Automobile Aktiebolag - A1-2 TQAAL |
| Funding from Vinnova | SEK 0 |
| Project duration | August 2011 - August 2015 |
| Status | Completed |
| Venture | Traffic safety and automated vehicles -FFI |