-
101
-
102
-
103
-
104Έκδοση 2008Πίνακας περιεχομένων: “… and Temporal Assertions -- Transactor-Based Formal Verification of Real-Time Embedded Systems -- A Case-Study…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
105Έκδοση 2005Πίνακας περιεχομένων: “… Development of Embedded Systems -- An Embedded SW Design Exploration Approach based on UML Estimation Tools…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
106Έκδοση 2013Πίνακας περιεχομένων: “…Context: memory allocation problems in embedded systems -- Unconstrained memory allocation problem…”
Full Text via HEAL-Link
Ηλ. βιβλίο -
107Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded...Έκδοση 2009Πίνακας περιεχομένων: “… Decoupling -- Formal Verification for Embedded Systems Design Based on MDE -- Systematic Model-in-the-Loop…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
108Έκδοση 2012Πίνακας περιεχομένων: “…Part I Starting Situation -- Challenges in Engineering for Software-Intensive Embedded Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
109Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems...Έκδοση 2013Πίνακας περιεχομένων: “…Design methodologies -- Non-functional aspects of embedded systems -- Verification -- Performance…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
110Έκδοση 2012Πίνακας περιεχομένων: “… Generation Perspective -- 2. Executable Specifications for Heterogeneous Embedded Systems: An Answer…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
111
-
112
-
113
-
114Έκδοση 2019Θέματα: “…Embedded systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
115Έκδοση 2016Θέματα: “…Embedded systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
116Έκδοση 2018Θέματα: “…Embedded systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
117Έκδοση 2018Θέματα: “…Embedded systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
118Έκδοση 2019Θέματα: “…Embedded systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
119Έκδοση 2018Θέματα: “…Embedded systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο -
120Έκδοση 2017Θέματα: “…Embedded systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο