默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

马克·尤廷

>主页 >珀森斯

人员信息

附属： 澳大利亚西比唐斯阳光海岸大学
从属关系（1992年博士）： 新南威尔士州悉尼新南威尔士大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/WebbHU23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/WebbHU23
布雷·韦伯,伊恩·海耶斯,马克·尤廷:
使用Isabelle/HOL验证术语图优化。清洁石油产品 2023:320-333
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/HayesUW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/HayesUW23
伊恩·海耶斯,马克·尤廷,布雷·韦伯:
验证编译器优化-（特邀论文）。 ICFEM公司 2023:3-8
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse-formalise/UttingWH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse-formalise/UttingWH23
马克·尤廷,布雷·韦伯,伊恩·海耶斯:
编译器优化验证框架的差异测试（案例研究）。正式SE 2023:66-75
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/msr/Scarsbrook英国23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/msr/SarsbrookUK23
约书亚·D·斯卡斯布鲁克,马克·尤廷,瑞安·K·L·科:
TypeScript的演变：功能采用随时间变化的分析。汽水分离再热器 2023:109-114
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-09802
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-09802
约书亚·D·斯卡斯布鲁克,马克·尤廷,瑞安·K·L·科:
TypeScript的演变：功能采用随时间变化的分析。 CoRR公司绝对值/2303.09802(2023)
2022
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/PearceUG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/PearceUG22
大卫·J·皮尔斯,马克·尤廷,林赛·格罗夫斯:
用Boogie验证Whiley程序。 J.汽车。原因。 66(4):747-803(2022)
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2212-01748
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2212-01748
马克·尤廷,布雷·J·韦伯,伊恩·海耶斯:
编译器优化验证框架的差异测试（经验论文）。 CoRR公司 abs/2212.01748(2022)
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/corr/abs-2212-06956
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2212-06956
布雷·韦伯,伊恩·海耶斯,马克·尤廷:
使用Isabelle/HOL验证术语图优化。 CoRR公司 abs/2212.06956(2022)
2021
[j15]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/WengMU21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/WongMU21
Min-Hsien翁,罗比·马利克,马克·尤廷:
Whiley-to-C编译器内存释放的自动证明。形式方法系统。设计。 57(三):429-472(2021)
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/WebbUH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/WebbUH21网站
布雷·韦伯,马克·尤廷,伊恩·海耶斯:
GraalVM中间表示的形式语义。 ATVA公司 2021:111-126
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2106-14457
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2106-14457
马克·尤廷,利亚姆·肯特:
验证简单赌场的智能合约。 CoRR公司腹肌/2106.14457(2021)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2107-01815
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-01815
布雷·韦伯,马克·尤廷,伊恩·海耶斯:
GraalVM中间表示的形式语义。 CoRR公司 abs/2107.01815(2021)
2020
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aitest/UttingLDTB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aitest/UttingLDTB20
马克·尤廷,布鲁诺传奇,弗雷德里克·达多,Frédéric Tamagnian餐厅,织物花束:
使用执行轨迹的机器学习识别和生成缺失测试。 AI测试 2020:83-90
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/ElodieBALU20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/ElodieBALU20
埃罗迪·伯纳德,朱利安·波特拉,法布里斯·安伯特,布鲁诺传奇,马克·尤廷:
重构手动测试的工具支持。 ICST公司 2020:332-342

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2018
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/setss/PearceUG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/setss/PearceUG18
大卫·J·皮尔斯,马克·尤廷,林赛·格罗夫斯:
Whiley软件验证简介。 SETSS（设置） 2018:1-37
2017
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsw/WongPU17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsw/WongPU17
文敏贤,伯恩哈德·普法林格,马克·尤廷:
在whiley程序的C实现中减少内存使用的静态技术。 ACSW公司 2017:15:1-15:8
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/使用PG17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/UttingPG17
马克·尤廷,大卫·J·皮尔斯,林赛·格罗夫斯:
制作Whiley Boogie！国际单项体育联合会 2017:69-84
2016
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/ac/UttingLBFPV16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ac/UttingLBFPV16
马克·尤廷,布鲁诺传奇,织物花束,伊丽莎白·福内雷特,法比安·佩鲁克斯,亚历山大·维诺特:
基于模型的测试的最新进展。高级计算。 101:53-120(2016)
2015
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/casm/Boulaire UD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/casm/Boulaire网站UD15
范妮·布莱尔,马克·尤廷,罗宾·德罗杰米勒:
大规模基于代理模型的动态代理组合。复杂的适应性。系统。模型。三:1(2015)
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/envsoft/BoulaireUD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/envsoft/Boulaire网站UD15
范妮·布莱尔,马克·尤廷,罗宾·德罗杰米勒:
技术吸收对澳大利亚配电网的影响。环境。模型。柔和。 69:196-213(2015)
[公元34年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/WongUP16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/WongUP16
文敏贤,马克·尤廷,伯恩哈德·普法林格:
Whiley程序的边界分析。使用@FM 2015:53-67
2014
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/pc/UttingWC14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pc/UttingWC14
马克·尤廷,Min-Hsien翁,约翰·克利里:
JStar语言哲学。并行计算。 40(2):35-50(2014)
2013
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/europar/Boulaire UD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/europar/Boulaire网站UD13
范妮·布莱尔,马克·尤廷,罗宾·德罗杰米勒:
配电网并行ABM：案例研究。 Euro-Par研讨会 2013:565-574
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/BulaireUD13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/Boulaire网站UD13
范妮·布莱尔,马克·尤廷,罗宾·德罗吉穆勒:
MODAM：基于代理的模块化建模框架。 ICSE的SE4SG 2013:33-40
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popp/UttingWC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popp/UttingWC13
马克·尤廷,Min-Hsien翁,约翰·克利里:
JStar语言哲学。最大允许偏差 2013:31-41
2012
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/stvr/UttingPL12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/stvr/UttingPL12
马克·尤廷,亚历山大·普雷施纳,布鲁诺传奇:
基于模型的测试方法分类。柔和。测试。验证可靠性。 22(5):297-312(2012)
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wsc/BoulaireUDLZ12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wsc/BoulaireUDLZ12
范妮·布莱尔,马克·尤廷,罗宾·德罗杰米勒,杰勒德·莱德威奇,伊曼·齐亚里:
评估可再生发电机对配电网影响的混合仿真框架。 WSC公司 2012:157:1-157:12
2011
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fi/MugridgeUS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fi/MugridgeUS11
穆格雷珠,马克·尤廷,大卫·斯特雷德:
将基于Web的测试自动化发展为敏捷业务规范。未来互联网三(2):159-174(2011)
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/tf/11/Utting11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/tf/11/Utting11
马克·尤廷:
如何在Java中设计扩展的有限状态机测试模型。嵌入式系统的基于模型的测试 2011
2010
[j8]
- 看法
  - 电子版@uchicago.edu（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 日记账/cjtcs/UttingMT10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cjtcs/UttingMT10
马克·尤廷,佩特拉·马利克,伊恩·托因:
Z的转换规则。别致。J.西奥。计算。科学。 2010(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元29年]
- 看法
  - 电子版@westernsydney.edu.au（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cats/UttingMT09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cats/UttingMT09
马克·尤廷,佩特拉·马利克,伊恩·托恩:
Z的转换规则。猫 2009:71-80
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icst/AydalPUW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icst/AydalPUW09
Emine Gokce Aydal女士,理查德·佩奇,马克·尤廷,吉姆·伍德科克:
将正式规范置于放大镜下：基于模型的验证测试。 ICST公司 2009:131-140
2008
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 配置M08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asm/UttingM08
马克·尤廷,佩特拉·马利克:
Z规范的单元测试。 ABZ公司 2008:309-322
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tools/AydalUW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tools/AydalUW08
埃米娜·戈科斯·艾达尔,马克·尤廷,吉姆·伍德科克:
用于模型验证的基于状态的建模工具的比较。工具（46） 2008:278-296
2007
【b1】
- 看法
  - 电子版@elsevierdirect.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0023861
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0023861
马克·尤廷,布鲁诺传奇:
实用的基于模型的测试-工具方法。摩根考夫曼 2007，国际标准图书编号978-0-12-372501-1第I-XIX页，1-433页
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amost/BuquetGLPVU07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amost/BouquetGLPVU07
织物花束,克里斯托夫·格兰皮埃尔,布鲁诺传奇,法比安·佩鲁克斯,尼古拉斯·瓦切莱,马克·尤廷:
用于基于模型测试的精确UML的子集。 A-MOST公司 2007:95-104
2006
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tsi/Utting06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tsi/Utting06
马克·尤廷:
模型测试方全景。技术科学。信息类 25(1):133-139(2006)
[公元24年]
- 看法
- 出口记录
  dblp键：
  - conf/gi/伯纳德BCLPUT06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/BarnardBCLPUT06
埃迪·伯纳德,织物花束,阿曼丁·夏邦尼尔,布鲁诺传奇,法比安·佩鲁克斯,马克·尤廷,埃里克·托博尔:
UML模型的基于模型的测试。 GI Jahrestagung（2） 2006:223-230
2005
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sigsoft/BouquetJLPU05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sigsoft/BouquetJLPU05
织物花束,埃迪·贾夫埃尔,布鲁诺传奇,法比安·佩鲁克斯,马克·尤廷:
自动测试生成中的需求跟踪：应用于智能卡软件验证。 ACM SIGSOFT软件。工程注释 30(4):1-7(2005)
[c23]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amost/BuquetJLPU05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amost/BouquetJLPU05
织物花束,埃迪·贾弗尔,布鲁诺传奇,法比安·佩鲁克斯,马克·尤廷:
自动测试生成中的需求跟踪：应用于智能卡软件验证。 A-MOST公司 2005
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/花束DLU05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/BouquetDLU05
织物花束,弗雷德里克·达多,布鲁诺传奇,马克·尤廷:
JML规范的符号动画。 FM公司 2005:75-90
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/MillerFMU05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/MillerFMU05
蒂姆·米勒,利奥·弗雷塔斯,佩特拉·马利克,马克·尤廷:
CZT支持Z扩展。国际单项体育联合会 2005:227-245
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BouquetDLU05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BouquetDLU05
织物花束,弗雷德里克·达多,布鲁诺传奇,马克·尤廷:
JML-Testing-Tools:JML规范使用CLP的符号动画。 TACAS公司 2005:551-556
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Utting05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Utting05
马克·尤廷:
基于模型的测试的作用。 VSTTE公司 2005:510-517
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/MalikU05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/MalikU05
佩特拉·马利克,马克·尤廷:
CZT：Z工具的框架。兹比 2005:65-84
2004
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/stvr/LegeardPU04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/stvr/LegeardPU04
布鲁诺传奇,法比安·佩鲁克斯,马克·尤廷:
控制从B形式模型生成测试时的测试用例爆炸。柔和。测试。验证可靠性。 14(2):81-103(2004)
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/BouquetLUV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/BouquetLUV04
织物花束,布鲁诺传奇,马克·尤廷,尼古拉斯·瓦切莱:
快速分析正式规范。 ICFEM公司 2004:239-258
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issre/KosmatovLPU04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issre/KosmatovLPU04
尼古拉·科马托夫,布鲁诺传奇,法比安·佩鲁克斯,马克·尤廷:
从形式模型生成测试的边界覆盖标准。 ISSRE公司 2004:139-150
2003
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/UttingW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/UttingW03
马克·尤廷,王少春:
不延伸Z的对象方向。兹比 2003:319-338
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/UttingTSMDDC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/UttingTSMDDC03
马克·尤廷,伊恩·托因,孙晶（音译）,安德鲁·马丁,金松洞,尼古拉斯·戴利,大卫·W·库里:
ZML:XML对标准Z的支持。兹比 2003:437-456
2002
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmsjcm/Utting0N02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmsjcm/Utting0N02
马克·尤廷,彼得·罗宾逊,雷·尼克森:
Ergo 6：使用Prolog证明技术的通用证明引擎。 LMS J.计算。数学。 5:194-219(2002)
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/LegeardPU02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/LegeardPU02
布鲁诺传奇,法比安·佩鲁克斯,马克·尤廷:
Z和B的自动边界测试。失效模式与后果 2002:21-40
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/粘土CPU02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/ClaytonCPU02
罗杰·克莱顿,约翰·克利里,伯恩哈德·普法林格,马克·尤廷:
自下而上逻辑编程的表格结构。洛普斯特 2002:50-51
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/zum/LegeardPU02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/zum/LegeardPU02
布鲁诺传奇,法比安·佩鲁克斯,马克·尤廷:
BTT和TTF测试生成方法的比较。兹比 2002:309-329
2001
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/HayesU01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/HayesU01
伊恩·海耶斯,马克·尤廷:
一种顺序实时精化演算。信息学报 37(6):385-448(2001)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/stvr/UttingR01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/stvr/UttingR01
马克·尤廷,史蒂夫·里夫斯:
通过测试轻松教授正式方法。柔和。测试。验证可靠性。 11(三):181-195(2001)
2000
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aswec/GrovesNRRU00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aswec/GrovesNRRU00
林赛·格罗夫斯,雷·尼克森,格雷格·里夫,史蒂夫·里夫斯,马克·尤廷:
新西兰软件行业软件开发实践调查。澳大利亚软件工程会议 2000:189-202

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【c9】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/adc/SmithU99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adc/SmithU99
唐纳德·史密斯,马克·尤廷:
伪天真评价。澳大利亚数据库会议 1999:211-223
1998
【c8】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/iclp/SmithU98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/SmithU98
唐纳德·史密斯,马克·尤廷:
伪无效评估：为强分层逻辑程序混合自顶向下和自底向上执行。基于逻辑的程序设计语言实现技术 1998:113-126
【c7】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/procomet/HayesU98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/procomet/HayesU98
伊恩·海耶斯,马克·尤廷:
截止日期是终止。比重计 1998:186-204
1997
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/软件/FigeKU97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/software/FidgeKU97
科林·费奇,彼得·卡尼,马克·尤廷:
一种构建并发实时软件的形式化方法。 IEEE软件。 14(2):99-106(1997)
1996
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/FidgeUKH96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/FidgeUKH96网址
科林·菲奇,马克·尤廷,彼得·卡尼,伊恩·海耶斯:
集成实时调度理论和程序优化。失效模式与后果 1996:327-346
1995
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apsec/Utting95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apsec/Utting95
马克·尤廷:
动画Z：交互性、透明度和等效性。亚太经合组织 1995:294-303
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FidgeKU95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FidgeKU95
科林·菲奇,彼得·卡尼,马克·尤廷:
交互式验证简单实时调度程序。腔静脉 1995:395-408
1994
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftrtft/KearneyU94型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftrtft/KearneyU94
彼得·科尔尼,马克·尤廷:
RISC处理器的分层实时规范。 FTRTFT公司 1994:455-475
1992
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/UttingR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/UttingR92
马克·尤廷,罗宾森:
面向对象精化微积分中的模块化推理。 MPC公司 1992:344-367
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/refine/GrovesNU92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/refine/GrovesNU92
林赛·格罗夫斯,雷蒙德·尼克森,马克·尤廷:
策略驱动的优化工具。优化 1992:272-297

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。