default search action
International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA)
14th FESCA@ETAPS 2017: Uppsala, Sweden
- Jan Kofron, Jana Tumova:
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 245, 2017 [contents]
13th FESCA@ETAPS 2016: Eindhoven, The Netherlands
- Jan Kofron, Jana Tumova, Bara Buhnova:
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 [contents]
12th FESCA 2015: London, United Kingdom
- Bara Buhnova, Lucia Happe, Jan Kofron:
Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015. EPTCS 178, 2015 [contents]
11th FESCA 2014: Grenoble, France
- Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents]
10th FESCA 2013: Rome, Italy
- Barbora Buhnova, Lucia Happe, Jan Kofron:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. EPTCS 108, 2013 [contents]
9th FESCA 2012: Tallinn, Estonia
- Barbora Buhnova, Lucia Kapová Happe, Jan Kofron:
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012. Electronic Notes in Theoretical Computer Science 295, Elsevier 2013 [contents]
8th FESCA@ETAPS 2011: Saarbrücken, Germany
- Barbora Buhnova, Jens Happe:
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2011, Saarbrücken, Germany, April 2, 2011. Electronic Notes in Theoretical Computer Science 279(2), Elsevier 2011 [contents]
7th FESCA@ETAPS 2010: Paphos, Cyprus
- Jens Happe, Barbora Buhnova:
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2010, Paphos, Cyprus, March 27, 2010. Electronic Notes in Theoretical Computer Science 264(1), Elsevier 2010 [contents]
6th FESCA@ETAPS 2009: York, UK
- Jens Happe, Barbora Zimmerová:
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, FESCA@ETAPS 2009, York, UK, April 28, 2009. Electronic Notes in Theoretical Computer Science 253(1), Elsevier 2009 [contents]
5th FESCA@ETAPS 2008: Budapest, Hungary
- Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles:
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. Electronic Notes in Theoretical Computer Science 238(6), Elsevier 2010 [contents]
4th FESCA@ETAPS 2007: Braga, Portugal
- Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007. Electronic Notes in Theoretical Computer Science 203(7), Elsevier 2008 [contents]
3rd FESCA@ETAPS 2006: Vienna, Austria
- Juliana Küster Filipe Bowles, Iman Poernomo, Ralf H. Reussner:
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006. Electronic Notes in Theoretical Computer Science 176(2), Elsevier 2007 [contents]
2nd FESCA@ETAPS 2005: Edinburgh, UK
- Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005. Electronic Notes in Theoretical Computer Science 141(3), Elsevier 2005 [contents]
1st FESCA@ETAPS 2004: Barcelona, Spain
- Juliana Küster Filipe, Iman Poernomo, Ralf H. Reussner, Sandeep K. Shukla:
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004. Electronic Notes in Theoretical Computer Science 108, Elsevier 2004 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.