Approximation(Mathematics); Discrete distribution; Hybrid systems; Computer programs; Computations; Software tools;
机译:控制合成的组成抽象细化
机译:通过抽象提炼对多值系统进行成分验证的框架
机译:基于组件的系统的组成抽象细化
机译:套索形规格下用于控制综合的组成抽象改进
机译:具有大理论的一级推理的抽象精炼框架
机译:私人自然遗产保护区卡拉卡拉的竹to蝇的生态学方面(双翅目:Psychodidae)
机译:用于控制综合的组成抽象改进