Formalizing Software Architectures for Embedded Systems.

Pam Binns, Steve Vestal

Browse the full EMSOFT paper archive.