Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles, editors, Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008. Volume 238 of Electronic Notes in Theoretical Computer Science, Elsevier, 2010. [doi]
Conference: FESCA2010
Abstract is missing.