„Embedded Systems Software“

Suchergebnisse

541 Treffer

• Verifying multicore software : A case study
  Kelur, Ashok 2013 LAP LAMBERT Academic Publishing
• Languages, compilers, and tools for embedded systems – proceedings
  Davidson, Jack 2001 Springer
• Model driven dependability engineering – proceedings
  Khendek, Ferhat ; Toeroe, Maria ; Gherbi, Abdelouahed ; Reed, Rick 2013 Springer
• Embedded Robotics – Mobile Robot Design and Applications with Embedded Systems
  2003 Springer Berlin Heidelberg
• Hardware/Software Co-Design for Data Flow Dominated Embedded Systems
  1998 Springer US
• NASA formal methods – 5th international symposium ; proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer
• Embedded Controller – Grundlagen und praktische Umsetzung für industrielle Anwendungen
  Asche, Rüdiger R. 2016 Springer Fachmedien Wiesbaden
• Proceedings of the 2015 Federated Conference on Software Development and Object Technologies
  Janech, Jan ; Kostolny, Jozef ; Gratkowski, Tomasz 2017 Springer International Publishing
• Developing a design flow for embedded systems
  Guderian, Falko 2013 Vogt
• Themenheft embedded systems – Software-Entwicklung
  1999 WEKA-Fachzeitschr.-Verl.
• Advanced Model-Based Engineering of Embedded Systems – Extensions of the SPES 2020 Methodology
  Pohl, Klaus ; Broy, Manfred ; Daembkes, Heinrich ; Hönninger, Harald 2016 Springer International Publishing
• On the design and implementation of reliable and economical telematics software architectures for embedded systems – a domain-specific framework
  Stehr, Jan 2010 Heinz Nixdorf Institut
• Themenheft embedded systems – Softwareentwicklung
  1998 WEKA-Fachzeitschr.-Verl.
• Software Technologies, Embedded Systems and Distributed Systems – A European Strategy Towards an Ambient Intelligent Environment
  2011 Dictus Publishing
• Runtime verification – third international conference ; revised selected papers
  Qadeer, Shaz ; Tasiran, Serdar 2013 Springer
• Computer applications for communication, networking, and digital contents – international conferences ; proceedings
  Kim, T'ae-hun ; Ko, Dae-sik ; Vasilakos, Thanos ; Stoica, Adrian ; Abawajy, Jemal 2012 Springer
• Workshop: Dependability of Extensively Deployed Products with Embedded IT – main report ; Brussels, 21 - 22 November 1996
  Masera, M. ; Wilikens, M. ; Morris, P. 1997 Inst. for Systems, Informatics and Safety, Software Technologies and Automation
• SynDEVS co-design flow – a hardware-, software co-design flow based on the discrete event system specification model of computation
  Molter, Hans Gregor 2012 Springer Vieweg
• Computer safety, reliability, and security – 31st international conference ; proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer
• Computer safety, reliability, and security – proceedings
  Ortmeier, Frank ; Daniel, Peter 2012 Springer