Publications
26 total
No publications found.
Research Topics
Logic, programming, and type systems
Parallel Computing and Optimization Techniques
Formal Methods in Verification
Advanced Neural Network Applications
Embedded Systems Design Techniques
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.