Digital Systems Embedded Computing

Research Frontiers in Embedded Systems Incremental Type Checking

Research on static type system verification for embedded software with minimal runtime overhead and memory footprint.

All Digital Systems & Embedded Computing PhD categories