1 Η ιδέα Joint Systems/Software Engineering Environment (Josee) της Lockheed Martin Aeronautical Systems. - 2 Τρέχουσα μοντελοποίηση στο Vital. - 3 Edgar: Μια πλατφόρμα για συνσχεδιασμό υλικού/λογισμικού. - 4 Ιεραρχικές έννοιες μοντελοποίησης πολλαπλών προβολών για προσομοίωση συστημάτων διακριτών γεγονότων. - 5 Ένα επίσημο σύστημα για σωστό σχεδιασμό υλικού. - 6 Ενσωμάτωση μετρικών συμπεριφορικής σταθερότητας σε σύνθεση υψηλού επιπέδου. - 7 Αξιολόγηση μιας ολοκληρωμένης μεθόδου σύνθεσης υψηλού επιπέδου. - 8 συνδυαστικά κριτήρια πάνω σε γραφήματα προδιαγραφών για να αποφασιστεί η σύνθεση με διαδοχικά κυκλώματα. - 9 Αυτόματη παραγωγή και βελτιστοποίηση μαρκοβιανών πινάκων. - 10 Μοντελοποίηση βλαβών σε διαστημικά αναδιαμορφώσιμα μικροηλεκτρονικά συστήματα. - 11 Πρόληψη αστοχιών που προκαλούνται από την αναπαραγωγή στο πλαίσιο ολοκληρωμένων αρθρωτών ηλεκτρονικών συστημάτων. - 12 Petri Net Modeling και Behavioral Fault Modeling Scheme για περιγραφές Vhdl. - 13 Σύστημα ανίχνευσης μαλακών ακτίνων Χ της Catsat: μια καινοτόμος και οικονομικά αποδοτική προσέγγιση. - 14 δίχτυα Petri για μελέτη διαθεσιμότητας διαστημικού λειτουργικού συστήματος. - 15 Αποτελέσματα έρευνας συστημάτων πρόωσης χαμηλού κόστους για μικρές δορυφορικές εφαρμογές. - 16 Πολλαπλές τεχνολογικές επιλογές για ένα μικτό αναλογικό-ψηφιακό διαστημικό φασματόμετρο ραδιοαστρονομίας. - 17 Σχεδιασμός και υλοποίηση σύγχρονης συνεργατικής κοινής ηλεκτρονικής πλακέτας. - 18 Σημασία των μέσων προδιαγραφών για το σχεδιασμό ολοκληρωμένων αρθρωτών συστημάτων αεροηλεκτρονικής. - 19 Βιομηχανική συνεργασία: ορισμός, ενδιαφέρον και δυναμική εξέλιξη. - 20 Πολυμεσικά εκπαιδευτικά θέματα σε ποικίλα μαθησιακά πλαίσια. - 21 Surf-2 ένα εργαλείο για τη μοντελοποίηση και την αξιολόγηση αξιοπιστίας. - Σχεδιασμός κυκλώματος 22 Submicron σε υπολογιστή. Γλώσσα: Αγγλικά