Alberto Sangiovanni‐Vincentelli
0000-0003-1298-8389
Publications
1,385 total
No publications found.
Research Topics
Embedded Systems Design Techniques
Formal Methods in Verification
Real-Time Systems Scheduling
VLSI and FPGA Design Techniques
VLSI and Analog Circuit Testing
Affiliations
Berkeley College
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.