stochastic petri nets; stochastic activity networks; model-based evaluation; performance; dependability; performability;
机译:caCORE版本3:实现模型驱动的面向服务的体系结构以实现语义互操作性。
机译:gibbs2:新版本的Quasiharmonic模型代码。 II。 固态热力学,功能和实施的模型
机译:在臀位分娩中实施外部头颅型。荷兰国家对外头版本的实施研究
机译:UltraSan版本3:架构,功能和实现
机译:基于功能的面向对象的建模(FOOM):实现了提取和扩展软件产品线体系结构的过程。
机译:caCORE版本3:实现模型驱动的面向服务的体系结构以实现语义互操作性
机译:UltraSAN版本3:体系结构,功能和实施
机译:在ada中使用表示子句和与实现相关的特性。 IVa。 ada / m的定性结果(44)。版本1.6