Universite de Franche-Comte, Laboratoire d'Informatique de l'Universite de Franche-Comte, 16 route de Gray, 25030 Besancon Cedex France;
B event systems; fairness hypotheses; specification; PLTL verification;
机译:不确定性的第七个方面:人类水系统动力学中的错误假设,未知和意外
机译:具有事件发生时间约束的异步动力系统的指数稳定性
机译:异步动态系统的指数稳定性,发生事件的时间约束
机译:公平假设下B事件系统的动态约束验证
机译:网络物理系统建模语言中自动动态约束验证的框架
机译:OFDMA系统中具有比例公平约束的基于速率自适应的资源分配
机译:具有和不具有公平性的事件系统的定点语义 假设
机译:运动约束和动态假设