Sökning: "Formell verifiering"

Hittade 4 exjobbsförslag från svenska företag, som innehöll ordet Formell verifiering.

Inkom Exjobbsförslag
2011-05-09Formell verifiering av design och krav för functional safety (inaktivt)
2007-10-22Modellbaserad felinjicering och formell verifiering i verktyget SCADE (inaktivt)
2006-10-10Modellbaserad utveckling av membership-protokoll i verktyget SCADE (inaktivt)
2006-09-05Implementation av membership protokoll i verktyget SCADE (inaktivt)


Informationen om uppsatsförslag är hämtad från Nationella Exjobb-poolen.