Discretization of Timed Automata in Timed µCRL à la Regions and Zones

机译：具有离散数据的定时Promela到定时自动机的转换

机译：用离散数据将定时Promela转换为定时自动机

机译：使用离散事件模拟元胞自动机模型确定多模传播时间和地面抑制资源到野火的路径

机译：定时μcrl的时间抽象

机译：使用臭氧层级时空模型根据观测到的氮氧化物，潜在的时空VOC过程，排放和气象来量化本地创造和区域运输。

机译：区间离散和无限分布时变时滞的离散时间递归神经网络的时滞相关状态估计器设计

机译：定时μCRL区域和区域中定时自动机的离散化

机译：用于指示两个时区的时间的钟表具有显示面板，该显示面板具有多个数字指示器，两个指示器用于指示第一时区的小时数，两个指示器用于指示第二时区的小时数，并且两个指示器用于共同显示两个时区的分钟

机译：用于检测癌性肿瘤的回波平面型磁共振成像方法涉及将二维读取区域划分为多个区域，该区域的行进速度随时间的推移相对于所遍历的读取区域而变化

机译：时区时钟的机壳上装有时区标记，带有参考标记的可相对旋转的时区设定环;旋转戒指将小时显示转换为国外时区