Sistemele care se autoverifica tind sa aiba o complexitate proportionala cu instabilitatea inerenta a sistemului n care snt folosite
Sistemele care se autoverifica tind sa aiba o complexitate proportionala cu instabilitatea inerenta a sistemului în care sînt folosite