Browsing Computer Engineering / Bilgisayar Mühendisliği by Type "report"
Now showing items 1-2 of 2
(INRIA, 2006-05)We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The fault-intolerant initial system consists of a set of independent periodic tasks scheduled onto a set of fail-silent ...
(2016-12-02)This report presents the transformation of behavioral VHDL programs to Timed Automata.