-
Computer Safety, Reliability, and Security – 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings
Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Stoelinga, Mariëlle ; Pinger, Ralf 2012 Springer Berlin Heidelberg
-
Sensor Systems and Software – Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
Martins, Francisco Cipriano da Cunha ; Lopes, Luis ; Paulino, Hervé 2012 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings
Furia, Carlo A. ; Nanz, Sebastian 2012 Springer Berlin Heidelberg
-
Advances in Computer Science, Engineering & Applications – Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2
2012 Springer Berlin Heidelberg
-
Advances in Computer Science, Engineering & Applications – Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1
Wyld, David C. ; Zizka, Jan ; Nagamalai, Dhinaharan 2012 Springer Berlin Heidelberg
-
Software Engineering for Resilient Systems – Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings
Troubitsyna, Elena A. 2011 Springer Berlin Heidelberg
-
Objects, Models, Components, Patterns – 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
Bishop, Judith M. ; Vallecillo, Antonio 2011 Springer Berlin Heidelberg
-
Software Composition – 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
Apel, Sven ; Jackson, Ethan 2011 Springer Berlin Heidelberg
-
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems – 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
Calinescu, Radu C. ; Jackson, Ethan 2011 Springer Berlin Heidelberg
-
Software and Data Technologies – 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers
Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer Berlin Heidelberg
-
e-Business and Telecommunications – 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers
Cordeiro, José António Moinhos ; Ranchordas, AlpeshKumar ; Šiškov, Boris 2011 Springer Berlin Heidelberg
-
Software Technologies for Embedded and Ubiquitous Systems – 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
Min, Sang Lyul 2011 Springer Berlin Heidelberg
-
Software and Compilers for Embedded Systems – 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004. Proceedings
Schepers, Henk 2004 Springer Berlin Heidelberg
-
Software technologies for embedded and ubiquitous systems – 7th IFIP WG 10.2 international workshop ; proceedings
Lee, Sunggu 2009 Springer
-
Embedded computer systems: architectures, modeling, and simulation – 9th international workshop, SAMOS 2009, Samos, Greece, July 20 - 23, 2009 ; proceedings
Bertels, Koen 2009 Springer
-
Software technologies for embedded and ubiquitous systems – 6th IFIP WG 10.2 international workshop ; proceedings
Brinkschulte, Uwe 2008 Springer
-
Embedded computer systems: architectures, modeling, and simulation – 8th international workshop, Samos 2008, Samos, Greece, July 21 - 24, 2008 ; proceedings
Bereković, Mladen 2008 Springer
-
Software technolgies for embedded and ubiquitous systems – 5th IFIP WG 10.2 international workshop ; revised papers
Obermaisser, Roman 2007 Springer
-
Embedded computer systems: architectures, modeling, and simulation – 7th international workshop, Samos 2007, Samos, Greece, July 16 - 19, 2007 ; proceedings
Vassiliadis, Stamatis 2007 Springer