Douglas M. Hawkins;Pamela Anne Binns
-;-
Formalizing Software Architectures for Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software