Component-Based QoS-Driven Synthesis of High Assurance Embedded Software, Phase I
Sintesis perangkat lunak tertanam berbasis komponen yang menggabungkan pendekatan top-down dan bottom-up, untuk menyusun arsitektur berjaminan tinggi dengan pertimbangan sumber daya serta quality of service.