Εμφανίζονται 61 - 80 Αποτελέσματα από 1.352 για την αναζήτηση '"Embedded system"', χρόνος αναζήτησης: 0,19δλ Περιορισμός αποτελεσμάτων
  1. 61
    Embedded Systems Architecture for Agile Development A Layers-Based Model /
    ανά Mirtalebi, Mohsen
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 62
    Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 63
    Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 64
    Embedded Systems Specification and Design Languages Selected contributions from FDL’07 /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Temporal Assertions -- Transactor-Based Formal Verification of Real-Time Embedded Systems -- A Case-Study…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 65
    From Specification to Embedded Systems Application
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Development of Embedded Systems -- An Embedded SW Design Exploration Approach based on UML Estimation Tools…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 66
    Memory allocation problems in embedded systems : optimization methods /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Context: memory allocation problems in embedded systems -- Unconstrained memory allocation problem…”
    Full Text via HEAL-Link
    Ηλ. βιβλίο
  7. 67
    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
    Πίνακας περιεχομένων: “… Decoupling -- Formal Verification for Embedded Systems Design Based on MDE -- Systematic Model-in-the-Loop…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 68
    Model-Based Engineering of Embedded Systems The SPES 2020 Methodology /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Part I Starting Situation -- Challenges in Engineering for Software-Intensive Embedded Systems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 69
    Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “…Design methodologies -- Non-functional aspects of embedded systems -- Verification -- Performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 70
    Design Technology for Heterogeneous Embedded Systems
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Generation Perspective -- 2. Executable Specifications for Heterogeneous Embedded Systems: An Answer…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 71
    Transactions on Cryptographic Hardware and Embedded Systems
    Έκδοση 2020
    Λήψη πλήρους κειμένου
    journal
  12. 72
    Programming embedded systems in C and C++ /
    ανά Barr, Michael, 1971-
    Έκδοση 1999
    Βιβλίο
  13. 73
    Embedded systems and the year 2000 problem : guidance notes /
    Έκδοση 1997
    Βιβλίο
  14. 74
    Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 75
    Advanced Techniques for embedded systems design adn test
    Έκδοση 1998
    Θέματα: “…EMBEDDED SYSTEMS DESIGN 124048…”
    Βιβλίο
  16. 76
    JITCE (Journal of Information Technology and Computer Engineering)
    Έκδοση 2019
    Θέματα: “…embedded system…”
    Λήψη πλήρους κειμένου
    journal
  17. 77
    Cryptographic Hardware and Embedded Systems -- CHES 2003 5th International Workshop, Cologne, Germany, September 8-10, 2003, Proceedings /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 78
    Cryptographic Hardware and Embedded Systems - CHES 2000 Second International Workshop Worcester, MA, USA, August 17-18, 2000 Proceedings /
    Έκδοση 2000
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 79
    Cryptographic Hardware and Embedded Systems – CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings /
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 80
    Techniques for Building Timing-Predictable Embedded Systems
    ανά Guan, Nan
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email