Sökning: "Formal Specification -sdlc"

Hittade 2 exjobbsförslag från svenska företag, som innehöll ordet Formal Specification -sdlc.

Inkom Exjobbsförslag
2006-10-27Implementation of a tool for formal verification of C programs (inaktivt)
2006-10-27Symbolic Fault Injection (inaktivt)


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