Discrete event systems; Opacity; Opacity-enforcement; Event observation delay;
机译:通过在事件观察中随机播放来强制当前状态不透明
机译:通过在事件观察中随机播放来强制当前状态不透明
机译:在无与伦比的观测下离散事件系统中的当前状态不透明度强制执行
机译:在事件观测中通过随机播放执行当前状态不透明度
机译:验证和实施离散事件系统中基于状态的不透明性概念。
机译:勘误至:PTESFinder:一种识别转录后外显子改组(PTES)事件的计算方法
机译:用于实施离散事件系统的分散和关节不透明度性能的插入功能的合成