„Modeling Embedded Systems“

Suchergebnisse

120 Treffer

• Modeling and analysis of embedded real-time systems in the automotive safety domain – = Modellierung und Analyse von eingebetteten Echtzeitsystemen aus der Fahrzeugsicherheit
  Lauer, Christoph 2011 Cuvillier
• Formal modeling and analysis of timed systems – 9th international conference ; proceedings
  Fahrenberg, Uli ; Tripakis, Stavros 2011 Springer
• Modular performance analysis of embedded real-time systems – improving modeling scope and accuracy
  Perathoner, Simon 2011 Shaker
• Advances in Computer Science and Education Applications – International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II
  2011 Springer Berlin Heidelberg
• Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
  2000 Springer US
• Proceedings / CSE 2011
  Zhou, Mark ; Tan, Honghua 2011 Springer
• Foundations of computer software – modeling, development, and verification of adaptive systems ; revised selected papers
  Calinescu, Radu C. ; Jackson, Ethan 2011 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Leveraging applications of formal methods, verification, and validation
  2010 Springer
• Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s – Selected Contributions on Specification, Design, and Verification from FDL 2009
  2010 Springer Netherlands
• Novel Methodology for Functional Modeling and Simulation of Wireless Embedded Systems
  Sosa Morales, Emma ; Zucchelli, Giorgia ; Barnasconi, Martin ; Jugessur, Nitasha
• A Framework for System-Level Modeling and Simulation of Embedded Systems Architectures
  Erbas, Cagkan ; Pimentel, Andy D. ; Thompson, Mark ; Polstra, Simon
• Power modeling of embedded systems and wireless sensor networks – = Modellierung des Leistungsverbrauchs eingebetteter Systeme und drahtloser Sensornetzwerke
  Schmidt, Daniel 2010 Techn. Univ.
• Architecting and Modeling Automotive Embedded Systems – Technology, Methods and Management
  Larses, Ola 2008 VDM Verlag Dr. Müller
• Formal modeling and verification of cyber-physical systems – Bremen, Germany, September 2015
  Drechsler, Rolf ; Kühne, Ulrich 2015 Springer Vieweg
• Proceedings of the 4th Workshop on Object Oriented Modeling of Embedded Real Time Systems (OMER4) – 30 - 31 October, 2007, Heinz-Nixdorf-MuseumsForum Paderborn, Germany
  Gehrke, Matthias 2009 Heinz-Nixdorf-Inst.
• Embedded computer systems: architectures, modeling, and simulation – 8th international workshop, Samos 2008, Samos, Greece, July 21 - 24, 2008 ; proceedings
  Bereković, Mladen 2008 Springer
• Embedded Systems – Analysis and Modeling with SysML, UML and AADL
  Kordon, Fabrice ; Hugues, Jérôme ; Canals, Agusti ; Dohet, Alain 2013 John Wiley & Sons
• Embedded Systems – Analysis and Modeling with SysML, UML and AADL
  Kordon, Fabrice ; Hugues, Jérôme ; Canals, Agusti ; Dohet, Alain 2013 John Wiley & Sons
• Real-Time Embedded Motion Detection via Neural Response Mixture Modeling
  Shafiee, Mohammad Javad ; Siva, Parthipan ; Fieguth, Paul ; Wong, Alexander