Global specification and validation of embedded systems integrating heterogeneous components

Global specification and validation of embedded systems integrating heterogeneous components

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Nicolescu, Gabriela, Jerraya, Ahmed
Materialtyp:	E-bok
Språk:	English
Publicerad:	Dordrecht : Springer Science+Business Media B.V., 2007
Ämnen:	Computer simulation Information theory Systems engineering Software engineering Computer-aided design
Länkar:	Click here to view the full text content
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

Global specification and validation of embedded systems : integrating heterogenous components /
av: Jerraya, Ahmed A.
Publicerad: (2007)

Global specification and validation of embedded systems : integrating heterogenous components /
av: Jerraya, Ahmed A.
Publicerad: (2007)

Heterogeneous multicore processor technologies for embedded systems /
av: Uchiyama, Kunio
Publicerad: (2012)

Embedded system design modeling, synthesis and verification /
Publicerad: (2009)

Distributed, embedded and real-time java systems
Publicerad: (2012)

Integrated system-level modeling of network-on-chip enabled multi-processor platforms /
av: Kogel, Tim

Advances in design and specification languages for SoCs selected contributions from FDL '04 /
av: Boulet, Pierre
Publicerad: (2005)

Collaborative design for embedded systems : Co-modelling and co-simulation /
Publicerad: (2014)

Embedded systems and software validation /
av: Roychoudhury, Abhik
Publicerad: (2009)

Embedded systems and software validation /
av: Roychoudhury, Abhik

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
av: Mishra, Prabhat, 1973-
Publicerad: (2005)

From Specification to Embedded Systems Application
av: Rammig, Franz J.
Publicerad: (2005)

Embedded systems and software validation
av: Roychoudhury, Abhik
Publicerad: (2009)

Embedded systems and software validation
av: Roychoudhury, Abhik
Publicerad: (2009)

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy /
Publicerad: (2008)

Design technology for heterogeneous embedded systems /
Publicerad: (2012)

Advances in design and specification languages for embedded systems
Publicerad: (2007)

Handbook of nature-inspired and innovative computing : integrating classical models with emerging technologies /

Embedded systems: design, analysis and verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
Publicerad: (2013)

Designing embedded systems with the SIGNAL programming language synchronous, reactive specification /
av: Gamatie, Abdoulaye
Publicerad: (2010)

Verification and validation in systems engineering assessing UML/SysML design models /
Publicerad: (2010)

Synthesis of embedded software frameworks and methodologies for correctness by construction /
Publicerad: (2010)

Interconnect-centric design for advanced SoC and NoC /

Embedded software design and programming of multiprocessor system-on-chip simulink and system C case studies /
Publicerad: (2010)

Embedded system design
av: Marwedel, Peter
Publicerad: (2006)

Next generation design and verification methodologies for distributed embedded control systems : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /
Publicerad: (2007)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday /
Publicerad: (2013)

Automated support for consistency management and validation of requirements
av: Massila Kamalrudin
Publicerad: (2011)

Automated support for consistency management and validation of requirements
av: Massila Kamalrudin
Publicerad: (2011)

Run-time adaptation for reconfigurable embedded processors
av: Bauer, Lars
Publicerad: (2011)

Innovations in design & decision support systems in architecture and urban planning
Publicerad: (2006)

Simulation methods for reliability and availability of complex systems
Publicerad: (2010)

Introduction to mixed-signal, embedded design
av: Doboli, Alex
Publicerad: (2011)

Low power hardware synthesis from concurrent action-oriented specifications
av: Singh, Gaurav
Publicerad: (2010)

Software engineering techniques applied to agricultural systems an object-oriented and UML approach /
av: Papajorgji, Petraq J.
Publicerad: (2006)

SYROM 2009 : Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009 /
av: Visa, Ion
Publicerad: (2009)

Model driven engineering languages and systems : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /
Publicerad: (2007)

Model driven engineering languages and systems : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Security in embedded devices
av: Gebotys, Catherine H.
Publicerad: (2010)

Quantum circuit simulation
av: Viamontes, George F.
Publicerad: (2009)