Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner, editors, Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006. Volume 176 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Conference: FESCA2007
Abstract is missing.