Formal Methods for Embedded Distributed Systems How to master the complexity /

Formal Methods for Embedded Distributed Systems How to master the complexity /

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Kordon, Fabrice (Επιμελητής έκδοσης), Lemoine, Michel (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Boston, MA : Springer US, 2004.
Θέματα:	Computer science. Microprocessors. Software engineering. Computers. Computer-aided engineering. Computer Science. Theory of Computation. Software Engineering/Programming and Operating Systems. Computing Methodologies. Processor Architectures. Computer-Aided Engineering (CAD, CAE) and Design.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Distributed Network Systems From Concepts to Implementations /
ανά: Jia, Weijia, κ.ά.
Έκδοση: (2005)

Design for Manufacturability and Yield for Nano-Scale CMOS
ανά: Chiang, Charles C., κ.ά.
Έκδοση: (2007)

Ambient Intelligence: Impact on Embedded Sytem Design
Έκδοση: (2003)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings /
Έκδοση: (2005)

Design of Energy-Efficient Application-Specific Instruction Set Processors
ανά: Glökler, Tilman, κ.ά.
Έκδοση: (2004)

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

Design of Embedded Control Systems
ανά: Adamski, Marian Andrzej, κ.ά.
Έκδοση: (2005)

Synthesis and Optimization of DSP Algorithms
ανά: Constantinides, George A., κ.ά.
Έκδοση: (2004)

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

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies /
ανά: Popovici, Katalin, κ.ά.
Έκδοση: (2010)

Distributed, Embedded and Real-time Java Systems
Έκδοση: (2012)

Embedded Software for SoC
Έκδοση: (2003)

Embedded System Design Modeling, Synthesis and Verification /
ανά: Gajski, Daniel D., κ.ά.
Έκδοση: (2009)

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software /
ανά: Diehl, Stephan
Έκδοση: (2007)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Έκδοση: (2007)

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /
Έκδοση: (2007)

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /
Έκδοση: (2005)

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

Spectral Interpretation of Decision Diagrams
ανά: Stanković, Radomir S., κ.ά.
Έκδοση: (2003)

Advanced Formal Verification
Έκδοση: (2004)

Formal Techniques for Networked and Distributed Systems FORTE 2001 IFIP TC6/WG6.1 — 21st International Conference on Formal Techniques for Networked and Distributed Systems August 28–31, 2001, Cheju Island, Korea /
Έκδοση: (2002)

A Practical Introduction to Hardware/Software Codesign
ανά: Schaumont, Patrick R.
Έκδοση: (2010)

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
Έκδοση: (2013)

Composing Software Components A Software-testing Perspective
ανά: Hamlet, Dick
Έκδοση: (2010)

Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers /
Έκδοση: (2016)

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I /
Έκδοση: (2017)

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II /
Έκδοση: (2017)

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 /
Έκδοση: (2008)

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Έκδοση: (2017)

Countdown to a Moon Launch Preparing Apollo for Its Historic Journey /
ανά: Ward, Jonathan H.
Έκδοση: (2015)

Hardware Software Co-Design of a Multimedia SOC Platform
ανά: Chen, Sao-Jie, κ.ά.
Έκδοση: (2009)

Memory Architecture Exploration for Programmable Embedded Systems
ανά: Grun, Peter, κ.ά.
Έκδοση: (2002)

System-Level Design Techniques for Energy-Efficient Embedded Systems
ανά: Schmitz, Marcus T., κ.ά.
Έκδοση: (2005)

Recent Advances in Evolutionary Computation for Combinatorial Optimization
Έκδοση: (2008)

Design Computing and Cognition '08 Proceedings of the Third International Conference on Design Computing and Cognition /
Έκδοση: (2008)

SystemC: From the Ground Up
ανά: Black, David C., κ.ά.
Έκδοση: (2010)

Embedded System Design
ανά: Marwedel, Peter
Έκδοση: (2006)

Adaptable Embedded Systems
Έκδοση: (2013)

Composing Software Components A Software-testing Perspective /
ανά: Hamlet, Dick
Έκδοση: (2010)

Automated Configuration Problem Solving
ανά: Petrie, Charles J.
Έκδοση: (2012)

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

Cannot write session to /tmp/vufind_sessions/sess_tl904bdg5btvstulooeqld1bd6