Access control; Analytical models; Automata; Clocks; Computational modeling; Metals; Object oriented modeling;
机译:使用概率定时自动机在IEEE 802.15.4非信标启用网络中对媒体访问控制进行建模
机译:使用概率定时自动机在IEEE 802.15.4非信标启用网络中建模媒体访问控制
机译:比较和评估访问控制模型的标准规范
机译:合金和定时自动机之间的比较,用于对访问控制规范进行建模和分析
机译:具有访问控制列表和基于角色的访问控制模型的可扩展访问控制Web服务的规范。
机译:连续时间马尔可夫链方法用于分析健康行为变化的跨理论模型:案例研究和模型估计的比较
机译:模型驱动的方法,用于分析依赖于时间和位置的访问控制规范
机译:用于确定最佳通信超时的IDOT正列车控制系统的风险分析:与具有连续列车停止和速度控制的驾驶室信号系统的比较