Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller

Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo. Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 86-93, IEEE, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.