researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2004
2005
2007
2008
2009
2010
2011
2012
2013
Filter by Tag
Filter by Author
Filter by Top terms
[+]
OR
AND
NOT
1
2
2004
2005
approaches
april
architectures
component
components
embedded
engineering
fesca
fesca@etaps
formal
foundations
international
march
proceedings
software
uk
workshop
Tags
architectures
software engineering, formal methods, components, quality, performance, model-driven
transformations
FESCA (FESCA)
Editions
Publications
Viewing Publication 1 - 10 from 10
2013
Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2012, Tallinn, Estonia, March 31, 2012
Barbora Buhnova
,
Lucia Kapová Happe
,
Jan Kofron
, editors,
Volume 295 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2013.
[doi]
2012
FESCA, Proceedings
2012.
2011
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2011, Saarbrücken, Germany, April 2, 2011
Barbora Buhnova
,
Jens Happe
, editors,
Volume 279 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2011.
[doi]
2010
Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2010, Paphos, Cyprus, March 27, 2010
Jens Happe
,
Barbora Buhnova
, editors,
Volume 264 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2010.
[doi]
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,
Volume 238 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2010.
[doi]
2009
Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, FESCA@ETAPS 2009, York, UK, April 28, 2009
Jens Happe
,
Barbora Zimmerová
, editors,
Volume 253 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2009.
[doi]
2008
Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007
Juliana Küster Filipe Bowles
,
Iman Poernomo
,
Ralf H. Reussner
, editors,
Volume 203 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2008.
[doi]
2007
Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006
Juliana Küster Filipe Bowles
,
Iman Poernomo
,
Ralf H. Reussner
, editors,
Volume 176 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2007.
[doi]
2005
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
Juliana Küster Filipe
,
Iman Poernomo
,
Ralf H. Reussner
,
Sandeep K. Shukla
, editors,
Volume 141 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2005.
[doi]
2004
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA 2004, Barcelona, Spain, April 3, 2004
Juliana Küster Filipe
,
Iman Poernomo
,
Ralf H. Reussner
,
Sandeep K. Shukla
, editors,
Volume 108 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2004.
[doi]
Sign in
or
sign up
to see more results.