Rice University.;
机译:基于组件的框架的表现力:对BIP表达的研究
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:基于由2,2'-二苯基二羧酸酯和1H-咪唑并[4,5-f] [1]构成的单组分Sm(Ⅲ)骨架和掺杂二组分Eu(Ⅲ)的Gd(Ⅲ)骨架的白光发射,10]-菲咯啉
机译:非线性识别框架中打ore声的混合相位建模,用于组件识别
机译:自动重构历史重构和动态组件自适应框架,用于基于重构的软件组件演化。
机译:第一心音的心房音和心房成分
机译:纠正:基于组件的框架的表现力:对BIP表达性的研究