乌帕阿尔 swMATH标识： 4702 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 说明： Uppaal是一个用于实时系统建模、仿真和验证的集成工具环境，由丹麦奥尔堡大学计算机科学基础研究和瑞典乌普萨拉大学信息技术系联合开发。它适用于可以建模为具有有限控制结构和实值时钟的非确定性过程集合的系统，通过信道或共享变量进行通信[WPD94，LPW97b]。典型的应用领域包括实时控制器和通信协议，尤其是那些定时方面至关重要的领域。 主页： http://www.uppaal.org/ 关键词： 实时系统建模;动态建模;建模工具;乌帕阿尔 相关软件： 克洛诺斯;高超声速;旋转;棱镜;如果-2.0;努西姆;乌帕亚尔2K;乌帕阿尔提加;PVS公司;中央军委;法弗;CADP;蒂娜;莫德;PPL公司;班德拉;可口可乐;塞萨尔;罗密欧;兔子 参考文献： 540种出版物 标准条款 3出版物描述软件，包括3出版物在zbMATH 年 关于乌帕的教程。 Zbl 1105.68350贝尔曼，格尔德;大卫，亚历山德拉;拉森，金G。 2004 现在，下一个，未来。 Zbl 0985.68664阿姆内尔，托比亚斯;贝尔曼，格尔德;约翰本特森;D'Argenio，佩德罗R。;大卫，亚历山德拉 2001 简言之，乌帕阿尔。 Zbl 1060.68577拉森，金G。;佩特森，保罗;易，王 1997 全部的 前5名915位作者引用 61 拉森，金·古德斯兰德 19 布耶，帕特里夏 18 大卫，亚历山德拉 16 易，王 14 佩特森，保罗 13 贝尔曼，格尔德 12 安德烈，爱蒂安 12 勒盖，阿克塞尔 10 弗里堡，劳伦特 9 卡塞兹，弗兰克 9 Kwiatkowska，Marta Z。 9 波德尔斯基，安德烈亚斯 9 瓦德拉格，熔块W。 8 莱姆，迪迪埃 8 马基，尼古拉斯 8 尼尔森，布莱恩 7 阿鲁尔，拉吉耶夫 7 当，曹 7 D'Argenio，佩德罗·鲁宾 7 梅斯盖尔·瓜伊塔，何塞 7 诺曼，格钦 7 Olveczky，Peter Csaba 7 拉斯金，让·弗朗索瓦 7 斯尔巴，吉 7 特里帕基斯，斯塔夫罗斯 6 迪尔克斯，亨宁 6 戈麦斯，鲁道夫 6 卡托恩，乔斯特·皮尔特 6 拉鲁西尼，弗朗索瓦 6 奥尔德罗，恩斯特-吕迪格 6 拉斯穆森，雅各布·伊尔姆 6 西尔贾尼，马扬 5 Bérard，Béatrice 5 鲍曼，霍华德 5 布拉伯曼，维克托 5 查坦，托马斯 5 伊利诺伊州费伦伯格 5 亨辛格，托马斯A。 5 休恩，托马斯 5 库普费希米德，塞巴斯蒂安 5 马勒，奥德 5 米库西尼斯，马吕斯 5 奥利弗罗，阿尔弗雷多 5 雷尼尔，米歇尔·阿德里安 5 雷尼尔，皮埃尔·阿兰 5 罗达，雅各布斯E。 5 斯卡，阿恩 5 Wąsowski和Andrzej 4 阿曼，博格丹 4 细辛，尤金 4 贝顿，乔斯·C·M。 4 布林克斯马，埃德 4 布莱切夫，彼得E。 4 乔巴努，加布里埃尔 4 当，哲 4 东，劲松 4 弗勒里，伊曼纽 4 汉森，迈克尔·赖克哈特 4 鸿，当当 4 伊万契奇，弗朗乔 4 拉诺特，拉格罗 4 哇克宁，乔尔O。 4 鲁克斯，奥利弗H。 4 希弗勒斯，R.R.H。 4 斯普罗斯顿，杰里米 4 斯托琳加，玛丽埃尔 4 孙，君 4 van Beek，D.A。 4 维沃，Sicco 4 王，法恩 三 醋酸，卢卡 三 Akshay，S。 三 巴拉格，桑迪 三 巴雷西，卢西亚诺 三 约翰本特森 三 拜尔，德克 三 波德维，让保罗 三 Bøgsted Poulsen，丹尼 三 布里哈伊，托马斯 三 弗拉维奥，科拉迪尼 三 de Weerdt，Mathijs M。 三 德沃夫，马丁 三 多恩，劳伦特 三 法康蒂，G.P。 三 芬克，安加 三 福克金，威廉·扬 三 富法罗，安吉洛 三 加斯汀，保罗 三 哈特曼，阿恩 三 亨德里克斯，马蒂恩 三 霍尼克，约琴 三 霍夫曼，约格 三 雅各布森，拉丝 三 雅各布森，莫顿 三 贾古里，穆罕默德·马赫迪 三 詹森，亨里克·埃杰斯博 三 詹森，彼得·盖尔 三 强森，本特 三 克里希纳，香卡拉·纳拉亚南 三 拉尔森，弗雷德里克 …还有815位作者 全部的 前5名引用59个系列 35 理论计算机科学 32 系统设计中的形式化方法 30 计算的形式化方面 16 实时系统 15 计算机科学讲义 12 程序设计中的逻辑和代数方法杂志 9 信息学报 9 信息与计算 9 计算机基础理论 9 逻辑与代数程序设计杂志 7 6 计算机程序设计学 6 北欧计算杂志 三 信息处理信函 三 计算机科学与技术杂志 三 机器学习 三 离散事件动态系统 三 欧洲控制杂志 2 倒排索引综述 2 自动 2 计算机与系统科学杂志 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 分布式计算 2 国际鲁棒非线性控制杂志 2 计算与信息学 2 计算逻辑学报 2 计算机科学中的逻辑方法 2 计算机科学前沿 1 人工智能 1 国际通用系统杂志 1 应用数学与计算 1 计算机杂志。A段/B段 1 计算 1 国际生产研究杂志 1 计算数学与建模 1 运筹学年鉴 1 逻辑与计算杂志 1 国际代数与计算杂志 1 国际计算机科学基础杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 自动机、语言与组合学杂志 1 优化方法与软件 1 高阶与符号计算 1 国际应用数学与计算机科学杂志 1 逻辑程序设计理论与实践 1 东南大学学报。自然科学版 1 国际柔性制造系统杂志 1 数学生物科学与工程 1 迪马斯。离散数学与理论计算机科学系列 1 理论计算机科学中的电子笔记 1 计算智能研究 1 计算机科学中的数学 1 计算机科学评论 1 国际系统科学杂志。系统与集成原理与应用 1 商业信息处理课堂讲稿 全部的 前5名在16个字段中引用 515 计算机科学（68-XX） 40 系统论；控制（93-XX） 39 数理逻辑与基础（03-XX） 24 运筹学，数学规划（90-XX） 20 博弈论、经济学、金融学和其他社会和行为科学（91-XX） 19 一般性和全局性主题；收藏（00-XX） 5 信息与通信理论，电路（94-XX） 4 生物学和其他自然科学（92-XX） 三 动力系统与遍历理论（37-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 1 序，格，有序代数结构（06-XX） 1 交换代数（13-XX） 1 变分法与最优控制；优化（49-XX） 1 凸与离散几何（52-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份引用出版物