„Embedded Software“

Suchergebnisse

802 Treffer

• Composition of Embedded Systems. Scientific and Industrial Issues – 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
  Kordon, Fabrice 2008 Springer International Publishing
• Source Code Optimization Techniques for Data Flow Dominated Embedded Software
  Falk, Heiko ; Marwedel, Peter 2004 Springer US
• MetriKon 2011 - Praxis der Software-Messung – Tagungsband des DASMA Software Metrik Kongresses MetriKon 2011, 17.-18. November 2011, Kaiserslautern
  Büren, Günter ; Dumke, Reiner ; Münch, Jürgen 2011 Shaker
• Future Information Technology – FutureTech 2014
  2014 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
• Advanced in Computer Science and its Applications – CSA 2013
  2014 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
• Model-Based Methodologies for Pervasive and Embedded Software – 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
  Machado, Ricardo ; Maciel, Rita Suzana ; Rubin, Julia ; Botterweck, Goetz 2013 Springer Berlin Heidelberg
• Runtime Verification – Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
  Qadeer, Shaz ; Tasiran, Serdar 2013 Springer Berlin Heidelberg
• Computer Applications for Communication, Networking, and Digital Contents – International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings
  Kim, T'ae-hun ; Ko, Dae-sik ; Vasilakos, Thanos ; Stoica, Adrian ; Abawajy, Jemal 2012 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer Berlin Heidelberg
• 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