„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
-
Formal modeling and analysis of timed systems – 9th international conference ; proceedings
-
Modular performance analysis of embedded real-time systems – improving modeling scope and accuracy
-
Advances in Computer Science and Education Applications – International Conference, CSE 2011, Qingdao, China, July 9-10, 2011. Proceedings, Part II
-
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
-
Proceedings / CSE 2011
-
Foundations of computer software – modeling, development, and verification of adaptive systems ; revised selected papers
-
Leveraging applications of formal methods, verification, and validation
-
Leveraging applications of formal methods, verification, and validation
-
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s – Selected Contributions on Specification, Design, and Verification from FDL 2009
-
Novel Methodology for Functional Modeling and Simulation of Wireless Embedded Systems
-
A Framework for System-Level Modeling and Simulation of Embedded Systems Architectures
-
Power modeling of embedded systems and wireless sensor networks – = Modellierung des Leistungsverbrauchs eingebetteter Systeme und drahtloser Sensornetzwerke
-
Architecting and Modeling Automotive Embedded Systems – Technology, Methods and Management
-
Formal modeling and verification of cyber-physical systems – Bremen, Germany, September 2015
-
Proceedings of the 4th Workshop on Object Oriented Modeling of Embedded Real Time Systems (OMER4) – 30 - 31 October, 2007, Heinz-Nixdorf-MuseumsForum Paderborn, Germany
-
Embedded computer systems: architectures, modeling, and simulation – 8th international workshop, Samos 2008, Samos, Greece, July 21 - 24, 2008 ; proceedings
-
Embedded Systems – Analysis and Modeling with SysML, UML and AADL
-
Embedded Systems – Analysis and Modeling with SysML, UML and AADL
-
Real-Time Embedded Motion Detection via Neural Response Mixture Modeling