====== HeKatE Case: Cardio ======

{{section>Description&firstseconly&nofooter}}

See for a full //[[Description]]// 
(see [[hekate:hekate_process#Description]] in the design process).

{{section>Conceptualization&firstseconly&nofooter}}

See for a full //[[Conceptualization]]//
(see [[hekate:hekate_process#Conceptualization]] in the design process).

{{section>Conceptual Design&firstseconly&nofooter}}

See for a full //[[Conceptual Design]]//
(see [[hekate:hekate_process#Conceptual Design]] in the design process).

{{section>Attribute Specification&firstseconly&nofooter}}

See for a full //[[Attribute Specification]]//.
(see [[hekate:hekate_process#Attribute Specification]] in the design process).

{{section>Prototyping&firstseconly&nofooter}}

See for a full //[[Prototyping]]//.
(see [[hekate:hekate_process#Prototyping]] in the design process).

{{section>Logical Design&firstseconly&nofooter}}

See for a full //[[Logical Design]]//.
(see [[hekate:hekate_process#Logical Design]] in the design process).

{{section>Formal Analysis&firstseconly&nofooter}}

See for a full //[[Formal Analysis]]//.
(see [[hekate:hekate_process#Formal Analysis]] in the design process).

{{section>Physical Design&firstseconly&nofooter}}

See for a full //[[Physical Design]]//.
(see [[hekate:hekate_process#Physical Design]] in the design process).

{{section>Integration&firstseconly&nofooter}}

See for a full //[[Integration]]//.
(see [[hekate:hekate_process#Integration]] in the design process).


{{section>Summary&firstseconly&nofooter}}

See for a full //[[Summary]]//.
(see [[hekate:hekate_process#Summary]] in the design process).