How Amazon Web Services Uses Formal Methods

Newcombe Chris; Rath Tim; Zhang Fan; Munteanu Bogdan; Brooker Marc; Deardeuff Michael

首页> 外文期刊>Communications of the ACM >How Amazon Web Services Uses Formal Methods

【24h】

How Amazon Web Services Uses Formal Methods

机译：Amazon Web Services如何使用正式方法

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

来源
《Communications of the ACM》 |2015年第4期|66-73|共8页
作者
Newcombe Chris; Rath Tim; Zhang Fan; Munteanu Bogdan; Brooker Marc; Deardeuff Michael;
展开▼
作者单位

Oracle, Seattle, WA 98004 USA|Amazon Com, AWS Database Serv Grp, Seattle, WA USA;

Amazon Com, AWS Database Serv Grp, Seattle, WA USA;

Cyanogen, Seattle, WA USA|Amazon Com, AWS S3, Seattle, WA USA;

Dropbox, Seattle, WA USA|Amazon Com, AWS Engines Grp S3, Seattle, WA USA;

Amazon Com, AWS EC2, Seattle, WA USA;

Amazon Com, AWS Database Serv Grp, Seattle, WA USA;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. How Amazon Web Services uses formal methods [J] . Amos Olagunju Computing reviews . 2016,第2期

机译：Amazon Web Services如何使用正式方法
2. Issues about the Adoption of Formal Methods for Dependable Composition of Web Services [J] . Manuel Mazzara, Michele Ciavotta International Journal of Systems and Service-Oriented Engineering . 2014,第4期

机译：关于采用形式化方法可靠构建Web服务的问题
3. Guest editor's introduction: Special issue on Web Services and Formal Methods [J] . Mario Bravetti, Gianluigi Zavattaro Journal of Logic and Algebraic Programming . 2007,第1期

机译：客座编辑的介绍：有关Web服务和形式方法的特刊
4. Formal Reasoning About the Security of Amazon Web Services [C] . Byron Cook Federated logic conference;International conference on computer aided verification . 2018

机译：关于Amazon Web Services安全性的正式推理
5. Design, Prototype Implementation, and Comparison of Scalable Web-Push Architectures on Amazon Web Services Using the Actor Model [D] . Puripunpinyo, Hussachai. 2017

机译：使用Actor模型在Amazon Web Services上设计，原型实现和比较可扩展Web Push架构
6. Experiences Building Globus Genomics: A Next-Generation Sequencing Analysis Service using Galaxy Globus and Amazon Web Services [O] . Ravi K. Madduri, Dinanath Sulakhe, Lukasz Lacinski, -1

机译：构建Globus基因组学的经验：使用GalaxyGlobus和Amazon Web Services的下一代测序分析服务
7. Formal Reasoning About the Security of Amazon Web Services [O] . Byron Cook 2018

机译：关于亚马逊网络服务安全的正式推理
8. Issues about the Adoption of Formal Methods for Dependable Composition of Web Services [R] . Mazzara, M. 2010

机译：关于采用可靠的Web服务组合形式方法的几个问题

How Amazon Web Services Uses Formal Methods

著录项

引文网络

相似文献

相关主题

期刊订阅