机译:MILS系统的设计,实施和验证
TELECOM ParisTech - LTCI UMR 5141, rue Barrault, F-75634 Paris CEDEX 13, France;
TELECOM ParisTech - LTCI UMR 5141, 46 rue Barrault, F-75634 Paris CEDEX 13, France;
LIP6, CNRS UMR 7606, Universite P. & M. Curie 4, place Jussieu, 75005 Paris, France;
MILS; AADL; POK; code generation; ocarina;
机译:网络 - 物理生产系统运行时验证框架的设计与实现
机译:建立用于验证并发系统设计和实现的分类框架
机译:使用故障和类别理论验证并发系统设计与实现之间的过程通信
机译:验证Dryden湍流模型和MIL-F-8785阵风梯度的实现
机译:用于系统级电源优化(低功耗设计)的动态电源管理策略及其形式验证和实现的集成。
机译:头颈幻影的设计和实现用于系统审核和强度调制放射治疗的验证
机译:电子设计自动化IC实现,电路设计,工艺技术和电子设计自动化IC系统设计,验证和测试