Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems.

Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo

Browse the full ATVA paper archive.