Electronic Notes in Theoretical Computer Science, Volume 108

Volume 108, December 2004

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2004)
maintained by Schloss Dagstuhl LZI at University of Trier