Text

Tillförlitlig programvaruteknik

Metoder och processer för utveckling av tillförlitliga programvarusystem; specifikt tekniker och schemaläggningsanalys för feltoleranta realtidssystem, tillförlitlig modellering av programvara, mjukvarutestning och säkerhetsargument för certifiering.

Kontaktperson

No partial template found

Pågående forskningsprojekt

Till toppen