×

Uppaal公司

swMATH ID: 4702
软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学
描述: Uppaal是一个用于实时系统建模、仿真和验证的集成工具环境,由丹麦奥尔堡大学计算机科学基础研究部和瑞典乌普萨拉大学信息技术系联合开发。它适用于可以建模为具有有限控制结构和实值时钟的非确定性过程集合的系统,通过通道或共享变量进行通信[WPD94,LPW97b]。典型的应用领域包括实时控制器和通信协议,尤其是那些时间方面至关重要的协议。
主页: 网址:http://www.uppaal.org/
关键词: 实时系统建模;动态建模;建模工具;upaal公司
相关软件: 克罗诺斯;高超声速;自旋蛋白;棱镜;UPPAAL TIGA公司;NuSMV公司;IF-2.0型;Uppaal2k公司;PVS公司;CMC公司;PHAVer公司;CADP公司;TINA公司;莫德;应用程序;班德拉;z3(零3);模仿者;兔子;拍打
引用于: 568文件
全部的 前5名

965位作者引用

63 金·古德斯特兰·拉森
20 帕特里夏·鲍耶
18 亚历山大·戴维
16 Yi,王
14 保罗·佩特森
13 埃蒂安·安德烈
13 格德·贝尔曼
13 Legay、Axel
10 劳伦特·弗里堡
9 弗兰克·卡塞兹
9 Marta Z.Kwiatkowska。
9 安德烈亚斯·波德尔斯基
9 Vaandrager,Frits W。
8 青柠,迪迪埃
8 尼古拉斯·马基
8 布莱恩·尼尔森
8 吉·斯尔巴
7 拉杰夫·阿鲁尔
7 Thao Dang先生
7 佩德罗·鲁宾·达吉尼奥
7 何塞·梅塞盖尔·瓜伊塔
7 格钦·诺曼
7 Peter Csaba,Olveczky
7 Jean-François拉斯金
7 马尔詹·西尔贾尼
7 斯塔夫罗斯·特里帕基斯
6 海宁·迪尔克斯
6 乌里法伦伯格
6 鲁道夫·戈麦斯
6 Joost-Pieter卡托恩
6 弗朗索瓦·拉鲁西尼
6 奥尔德罗格(Ernst-Rüdiger Olderog)
6 雅各布·伊勒姆拉斯穆森
6 皮埃尔·阿莱·雷尼尔
5 阿曼,博格丹
5 贝拉德,贝特里奇
5 霍华德·鲍曼
5 维克托·布拉伯曼
5 托马斯·查泰恩
5 加布里埃尔·乔巴努
5 托马斯·亨辛格(Thomas A.Henzinger)。
5 托马斯·匈奴
5 塞巴斯蒂安·库普弗施米德
5 奥德·马勒
5 马吕斯·米库西奥尼斯
5 阿尔弗雷多·奥利维罗
5 米歇尔·阿德里安·雷尼尔
5 雅各布斯·E·罗达。
5 阿恩·斯科
5 玛丽·斯托琳加
5 孙骏
5 安德烈·索夫斯基
4 尤金·亚萨林
4 Jos C.M.Baeten。
4 丹尼·鲍尔森(Danny Bougsted Poulsen)
4 埃德·布林克斯马
4 彼得·布利切夫(Peter E.Bulychev)。
4 当、哲
4 董金松
4 伊曼纽尔·弗勒里
4 保罗·加斯丁
4 迈克尔·赖赫哈特·汉森
4 弗雷德里克·赫布雷托
4 洪丹凡
4 弗兰乔·伊万契奇
4 拉诺特、拉格罗
4 Ouaknine,Joel O。
4 奥利维尔·H·鲁克斯。
4 Schiffelers,R.R.H。
4 杰里米·斯普洛斯顿
4 巴拉古鲁·斯里瓦桑
4 范·比克,D.A。
4 四川省韦尔市
4 王法恩
卢卡·埃特罗
阿克西,S。
桑迪·巴拉格
巴博特,贝努伊特
卢西亚诺·巴雷西
约翰·本特森
德克·拜尔
Jean-Paul Bodeveix公司
托马斯·布里海耶
弗拉维奥·科拉迪尼
马蒂杰斯·德·维特(Mathijs M.de Weerdt)。
马丁·德·沃尔夫
劳伦特·多恩
法孔蒂,G.P。
Fehnker,Ansgar公司
伯恩德·芬克贝纳
威廉·扬·福克金
安吉洛·富法罗
法特梅·加塞米
阿恩·哈特曼斯
马蒂恩·亨德里克斯
Jochen Hoenicke公司
霍夫曼,约格
拉塞·雅各布森
雅各布森,莫顿
穆罕默德·马赫迪·贾古奥里
…还有865名作者
全部的 前5名

59篇连载文章中引用

35 理论计算机科学
34 系统设计中的形式化方法
29 计算的形式方面
16 实时系统
15 计算机科学课堂讲稿
12 程序设计中的逻辑和代数方法杂志
10 信息与计算
9 信息学报
9 计算机基础理论
9 逻辑与代数程序设计杂志
6 计算机程序设计科学
6 北欧计算机杂志
5 计算机科学中的逻辑方法
信息处理信件
计算机科学与技术杂志
机器学习
离散事件动态系统
分布式计算
欧洲控制杂志
2 倒排索引综述
2 Automatica公司
2 计算机与系统科学杂志
2 纯逻辑与应用逻辑年鉴
2 自动推理杂志
2 国际鲁棒非线性控制杂志
2 自然计算
2 ACM计算逻辑事务
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 DIMACS。离散数学和理论计算机科学系列
1 理论计算机科学电子笔记
1 计算智能研究
1 计算机科学中的数学
1 计算机科学评论
1 国际系统科学杂志。系统与集成原理与应用
1 Modelirovanie i Analiz信息系统
1 商业信息处理课程讲稿

按年份列出的引文