Programiranje u realnom vremenu – Skripta sa praktikumom i rešenim zadacima
integriteta struktura podataka, npr. povezanosti listi. Oslanjaju se na tehnike kao što su brojanje referenci na objekte, redundantni pokazivači itd. - Dinamičke provere razumnosti (engl. dynamic reasonableness checks ) se...