Code‐level model checking in the software development workflow at Amazon Web Services - Chong - 2021 - Software: Practice and Experience - Wiley Online Library
Electronics | Free Full-Text | GPU-Based Embedded Intelligence Architectures and Applications | HTML