Verifikation av säkerhetskritisk programvara för flygtrafikledning mha lättrörliga processer
| Diarienummer | |
| Koordinator | SAAB Aktiebolag - Saab Aerosystems |
| Bidrag från Vinnova | 4 800 000 kronor |
| Projektets löptid | augusti 2009 - juni 2014 |
| Status | Avslutat |
Du använder version {0} av webbläsaren {1}. Det betyder att vissa funktioner inte fungerar optimalt. Vi rekommenderar att du uppgraderar din webbläsare för att webbplatsen ska fungera så bra som möjligt.
Verifikation av säkerhetskritisk programvara för flygtrafikledning mha lättrörliga processer
| Diarienummer | 2009-01341 |
| Koordinator | SAAB Aktiebolag - Saab Aerosystems |
| Bidrag från Vinnova | 4 800 000 kronor |
| Projektets löptid | augusti 2009 - juni 2014 |
| Status | Avslutat |
Senast uppdaterad 8 maj 2017
Diarienummer 2009-01341