Universite de Technologie de Compiegne, HEUDIASYC, Compiegne cedex, France;
B method; formal development; level crossing; software verification;
机译:两半障碍平交道口与四半障碍平交道口:比较风险分析研究
机译:印度铁路在任务模式下消除了宽轨距的无人平交道口(UMLC)
机译:四能级系统中准能级的交叉研究
机译:从UML到B-跨界案例研究
机译:光子吸收中的量子干扰:锶原子光谱中的非线性能级交叉研究
机译:审核UMLS语义网络中的顶级语义类型对UMLS概念的分配
机译:UmL表示法中无线电操作中单轨电平交叉的精确定义和安全要求规范