/DDD-Pacemaker

PSoC project of a DDD Mode Pacemaker along with an UPAAL Verification Model. Lab assignment for the course Embd System Design

Primary LanguageC

Stargazers

No one’s star this repository yet.