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

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

Abstract is missing.