distributed processing; real-time systems; formal verification; certification; software reliability; software quality; asynchronous distributed systems; real-time systems; high assurance systems; proof-based system engineering; certifiable systems; t;
机译:关于构建分布式异步TMR系统的说明
机译:构造分布式异步TMR系统的注释
机译:异步多代理采样数据系统中分布式非平稳优化的混合系统方法
机译:构建高保证异步实时分布式系统:一种基于校验的系统工程方法
机译:参与者驱动的小组支持系统:一种分布式异步协作系统的方法。
机译:实时成像系统中实时基因表达的单解分辨率:构建设计和成像系统设置。
机译:构建高保真异步实时分布式系统:基于证明的系统工程方法