„Embedded Systems Software“

Suchergebnisse

541 Treffer

• Security Engineering Methodology for Embedded Systems in Metering
  Weber, Donatus 2014 Shaker
• Reusability evaluation of component-based embedded automative software systems
  Hobelsberger, Martin ; Dumke, Reiner 2012 Universitätsbibliothek
• Reconfiguration of legacy software artifacts in resource constraint embedded systems
  Baldin, Daniel 2014 Universitätsbibliothek
• Empirical studies for the application of agile methods to embedded systems
  Wilking, Dirk
• Model-based testing of real-time embedded systems in the automotive domain
  Zander, Justyna
• OOCOSIM – an object-oriented co-design method for embedded HW-SW systems
  Oppenheimer, Frank
• Software frameworks and embedded control systems
  Pasetti, Alessandro 2002 Springer
• Objektorientierte Modellierung von Automatisierungssystemen – Software Engineering für Embedded Systems
  Kieß, Jan U. 1995 Springer Berlin Heidelberg
• Guest Editorial: Special Issue on 2020 IEEE International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2020)
  Reichenbach, Marc ; Jung, Matthias ; Orailoglu, Alex
• Guest Editorial: Special Issue on the 2015 International Conference on Embedded Computer Systems—Architectures, Modeling and Simulation (SAMOS XV)
  Payá-Vayá, Guillermo ; Gerstlauer, Andreas
• Zuverlässigkeit in eingebetteten Systemen – Ada Deutschland Tagung 2005
  Keller, Hubert B. ; Dencker, Peter ; Plödereder, Erhard ; Klenk, Herbert ; Tonndorf, Michael 2005 Shaker
• 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
• 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
• 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