


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














