Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems

Shashank Hegde, Subhash Sethumurugan, Hari Cherupalli, Henry Duwe, John Sartori

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Fingerprint

Dive into the research topics of 'Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems'. Together they form a unique fingerprint.

Computer Science

Keyphrases