Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers h...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Schirner, Gunar (Επιμελητής έκδοσης), Götz, Marcelo (Επιμελητής έκδοσης), Rettberg, Achim (Επιμελητής έκδοσης), Zanella, Mauro C. (Επιμελητής έκδοσης), Rammig, Franz J. (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:	IFIP Advances in Information and Communication Technology, 403
Θέματα:	Computer science. Special purpose computers. Computer system failures. Software engineering. Computer-aided engineering. Computer Science. Special Purpose and Application-Based Systems. System Performance and Evaluation. Software Engineering. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Functional Verification of Programmable Embedded Architectures A Top-Down Approach /
ανά: Mishra, Prabhat, κ.ά.
Έκδοση: (2005)

UML for Real Design of Embedded Real-Time Systems /
Έκδοση: (2003)

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings /
Έκδοση: (2006)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
Έκδοση: (2007)

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings /
Έκδοση: (2009)

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /
Έκδοση: (2007)

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /
Έκδοση: (2005)

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ανά: Kogel, Tim, κ.ά.
Έκδοση: (2006)

Networks on Chip
Έκδοση: (2003)

Grids, Clouds and Virtualization
Έκδοση: (2011)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach
ανά: Mishra, Prabhat
Έκδοση: (2005)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project /
Έκδοση: (2008)

Collaborative Design for Embedded Systems Co-modelling and Co-simulation /
Έκδοση: (2014)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
ανά: Kormanyos, Christopher
Έκδοση: (2015)

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming /
ανά: Kormanyos, Christopher
Έκδοση: (2013)

Building Innovation Pipelines through Computer-Aided Innovation 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 – July 1, 2011. Proceedings /
Έκδοση: (2011)

The Testability of Distributed Real-Time Systems
ανά: Schütz, Werner
Έκδοση: (1993)

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /
Έκδοση: (2013)

Embedded Systems – Modeling, Technology, and Applications
Έκδοση: (2006)

Embedded Systems Design The ARTIST Roadmap for Research and Development /
ανά: Bouyssounouse, Bruno, κ.ά.
Έκδοση: (2005)

ACS Without an Attitude
ανά: Hallock, Harold L., κ.ά.
Έκδοση: (2017)

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
Έκδοση: (2005)

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Έκδοση: (2012)

Embedded Security in Cars Securing Current and Future Automotive IT Applications /
Έκδοση: (2006)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Έκδοση: (2013)

Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings /
Έκδοση: (2005)

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /
Έκδοση: (2006)

Real-Time Systems Engineering and Applications
Έκδοση: (1992)

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /
Έκδοση: (2006)

Embedded Systems Specification and Design Languages Selected contributions from FDL’07 /
Έκδοση: (2008)

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ανά: Kogel, Tim
Έκδοση: (2006)

Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology /
Έκδοση: (2016)

Real-Time Systems In Mechatronic Applications
Έκδοση: (1998)

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings /
Έκδοση: (2007)

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings /
Έκδοση: (2005)

Architecting Dependable Systems VI
Έκδοση: (2009)

Trends in Enterprise Application Architecture 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers /
Έκδοση: (2007)

Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings /
Έκδοση: (2011)

Power Electronics and Instrumentation Engineering International Conference, PEIE 2010, Kochi, Kerala, India, September 7-9, 2010. Proceedings /
Έκδοση: (2010)

Real-Time Systems Design Principles for Distributed Embedded Applications /
ανά: Kopetz, Hermann
Έκδοση: (2011)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_nqmubbd89qle65vvr6eqaff60d