搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2007 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
正在扩展电源集域的运算符。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 413-414 ( 2007 ) 德克·贝尔 , 托马斯·汉津格 , 兰吉特·贾拉 , 鲁帕克·马朱姆达尔 :
软件模型检查器Blast。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 505-525 ( 2007 ) 维埃里·德尔·比安科 , 路易吉·拉瓦扎 , 马可·毛里 , 朱塞佩·奥科索 :
面向基于UML的基于组件的实时软件的形式化规范。 国际期刊软件。 技术工具。 变压器。 9 ( 2 ) : 179-192 ( 2007 ) 乔纳森·比林顿 , 韩冰(Bing Han) :
对TCP连接管理过程的功能行为进行建模和分析。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 269-304 ( 2007 ) 马可·波扎诺 , 阿道夫·维拉菲奥里塔 :
FSAP/NuSMV-SA安全分析平台。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 5-24 ( 2007 ) 塞西尔·布劳恩斯坦 , Emmanuelle Encrenaz公司 :
CTL属性“增量设计过程中的转换”。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 77-88 ( 2007 ) 鲁思·布鲁 , 格哈德·波普 , 穆罕默德·阿拉姆 :
基于模型的访问策略开发。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 457-470 ( 2007 ) 玛莎·契契克 , 阿里·古芬克尔 :
反例生成和探索的框架。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 429-445 ( 2007 ) Deepak D'Souza公司 , 帕维思拉·普拉巴卡 :
关于MTL在逐点和连续语义中的表达性。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 1-4 ( 2007 ) 阿列克桑达尔·迪莫夫斯基 , 兰科·拉齐奇 :
基于游戏语义和过程代数的组合软件验证。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 37-51 ( 2007 ) 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 拉尔斯·迈克尔·克里斯滕森 :
用扫线法在空中检查安全性能。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 371-391 ( 2007 ) 德拉甘·加西维奇 , 德拉甘·朱里奇 , 弗拉丹·德维德齐克 :
基于MDA的自动OWL本体开发。 国际期刊软件。 技术工具。 变压器。 9 ( 2 ) : 103-117 ( 2007 ) 奥尔娜·格伦伯格 , Shmuel Katz先生 :
VeriTech:一个在模型描述符号之间进行转换的框架。 国际期刊软件。 技术工具。 变压器。 9 ( 2 ) : 119-132 ( 2007 ) 迪米塔尔·普·盖列夫 , 马克·德莫特·瑞安 , 皮埃尔·伊夫·肖本斯 :
在特征集成时对时间属性的保留进行模型检查。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 53-62 ( 2007 ) 格雷戈伊尔·哈蒙 , 约翰·拉什比 :
Stateflow的操作语义。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 447-456 ( 2007 ) 瑞科·赫克尔 , 马克·洛曼 :
反应式信息系统的模型驱动开发:从图形转换规则到JML契约。 国际期刊软件。 技术工具。 变压器。 9 ( 2 ) : 193-207 ( 2007 ) 伦敦帝国学院 :
模型检查中的一些当前主题。 国际期刊软件。 技术工具。 变压器。 9 ( 1 ) : 25-36 ( 2007 ) 库尔特·延森 :
彩色Petri网专题。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 209-212 ( 2007 ) 库尔特·延森 , 拉尔斯·迈克尔·克里斯滕森 , 丽莎·威尔斯 :
用于并发系统建模和验证的彩色Petri网和CPN工具。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 213-254 ( 2007 ) 乔治·荣格 , 约翰·哈特克利夫 :
CORBA组件模型的关联框架。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 417-427 ( 2007 ) 扬·朱尔扬(Jan Jürjens) , 帕沙·沙巴林 :
使用UML进行安全系统开发的工具。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 527-544 ( 2007 ) 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
定时petri网的模块化状态空间探索。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 393-411 ( 2007 ) 金·古德斯特兰·拉森 , 乌里克·尼曼 , 安德烈·瓦索夫斯基 :
使用色盲转换系统对软件产品线进行建模。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 471-487 ( 2007 ) 林刘(Lin Liu) , 乔纳森·比林顿 :
能力交换信令协议的验证。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 305-326 ( 2007 ) 里卡多·豪尔赫·马查多 , 克里斯蒂安·比斯加德·拉森 , 塞尔吉奥利维拉 , 马可·库托 , 帕特里夏·平托 :
需求验证:使用CPN工具执行UML模型。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 353-369 ( 2007 ) 布里斯·米切尔 , 拉尔斯·迈克尔·克里斯滕森 , 林章(Lin Zhang) :
操作规划过程的形式化规范和状态空间分析。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 255-267 ( 2007 ) 克劳斯·帕尔 :
用于软件组件匹配的本体。 国际期刊软件。 技术工具。 变压器。 9 ( 2 ) : 169-178 ( 2007 ) 马贾·佩西奇 , Wil M.P.van der Aalst先生 :
使用有色Petri网对工作分配机制进行建模。 国际期刊软件。 技术工具。 变压器。 9 ( 3-4 ) : 327-352 ( 2007 ) 毛罗·佩泽尔 :
2003年FASE专题介绍。 国际期刊软件。 技术工具。 变压器。 9 ( 2 ) : 133-134 ( 2007 ) 文卡特什·普拉萨德·兰加纳思 , 约翰·哈特克利夫 :
使用Indus和Kaveri切片并发Java程序。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 489-504 ( 2007 )