...
机译:应用于分布式系统的拆除性的可解锁性的模块性
Tel Aviv University Israel;
UCLA USA;
Microsoft Research USA;
Tel Aviv University Israel;
Tel Aviv University Israel;
Tel Aviv University Israel;
University of Washington USA;
University of Washington USA;
Formal verification; Modularity; Decidable logic; Ivy; Distributed systems; Paxos; Raft;
机译:应用于分布式系统的拆除性的可解锁性的模块性
机译:混合系统的模块化演绎验证方法
机译:用于验证通用分布式系统的模块化框架
机译:采样数据系统的模块化演绎验证
机译:用于逻辑控制的模块化有限状态机:理论,验证和可重构制造系统的应用。
机译:十三。医院信息系统:F.医院信息系统的战略规划:模块化分布式医院信息系统(HIS)的论点
机译:用于分布式系统的拆除性的可解锁性的模块性
机译:高阶逻辑中安全分布式系统的验证:使用通用组件的模块化方法。