1 A Lockheed Martin Aeronautical Systems közös rendszer/szoftverfejlesztési környezet (Josee) koncepciója. - 2 Jelenlegi modellezés a Vitalban. - 3 Edgar: Platform a hardver/szoftver közös tervezéshez. - 4 hierarchikus többnézetű modellezési koncepció diszkrét eseményrendszerek szimulációjához. - 5 Formális rendszer a helyes hardvertervezéshez. - 6 A viselkedési tesztelhetőségi mérőszámok integrálása a magas szintű szintézisbe. - 7 Integrált magas szintű szintézis módszer értékelése. - 8 kombinatorikus kritérium a specifikációs grafikonok felett a szekvenciális áramkörök általi szintézis eldöntéséhez. - 9 Markov-mátrixok automatikus generálása és optimalizálása. - 10 Hibamodellezés űrben telepíthető újrakonfigurálható mikroelektronikai rendszerekben. - 11 A replikáció által kiváltott hibák megelőzése az integrált moduláris repüléselektronika összefüggésében. - 12 Petri-háló modellezés és viselkedési hibamodellezési séma a Vhdl leírásokhoz. - 13 A Catsat lágy röntgenérzékelő rendszere: innovatív és költséghatékony megközelítés. - 14 Petri-háló az űr operatív rendszerének rendelkezésre állásának tanulmányozásához. - 15 Alacsony költségű meghajtórendszer-kutatás eredményei kis műholdas alkalmazásokhoz. - 16 többféle technológiai lehetőség vegyes analóg-digitális űrrádió-csillagászati spektrométerhez. - 17 Szinkron kooperatív megosztott elektronikus kártya tervezése és megvalósítása. - 18 A specifikációs eszközök fontossága az integrált moduláris repüléselektronikai rendszerek tervezésében. - 19 Ipari együttműködés: definíció Érdeklődés és dinamikus fejlődés. - 20 multimédiás oktatási kérdés különféle tanulási kontextusokban. - 21 Surf-2 A megbízhatóság modellezésének és értékelésének eszköze. - 22 Submikron áramkör tervezése PC-n. Nyelv: angol