潘多拉系统:用于设计数据通信协议的交互式系统

Computer Networks (1976) Pub Date : 1984-04-01 DOI:10.1016/0376-5075(84)90036-9

Gerard J Holzmann

{"title":"潘多拉系统:用于设计数据通信协议的交互式系统","authors":"Gerard J Holzmann","doi":"10.1016/0376-5075(84)90036-9","DOIUrl":null,"url":null,"abstract":"<div><p>PANDORA is an interactive system for the analysis, synthesis, and real-time assessment of data communication protocols. The Pandora system is being developed at the Delft University of Technology in cooperation with the Dr. Neher Laboratories of the Netherlands PTT. This paper gives an overview of the structure of the system and discusses the main design goals.</p></div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"8 2","pages":"Pages 71-79"},"PeriodicalIF":0.0000,"publicationDate":"1984-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(84)90036-9","citationCount":"16","resultStr":"{\"title\":\"The Pandora system: An interactive system for the design of data communication protocols\",\"authors\":\"Gerard J Holzmann\",\"doi\":\"10.1016/0376-5075(84)90036-9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>PANDORA is an interactive system for the analysis, synthesis, and real-time assessment of data communication protocols. The Pandora system is being developed at the Delft University of Technology in cooperation with the Dr. Neher Laboratories of the Netherlands PTT. This paper gives an overview of the structure of the system and discusses the main design goals.</p></div>\",\"PeriodicalId\":100316,\"journal\":{\"name\":\"Computer Networks (1976)\",\"volume\":\"8 2\",\"pages\":\"Pages 71-79\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1984-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/0376-5075(84)90036-9\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer Networks (1976)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/0376507584900369\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Networks (1976)","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0376507584900369","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 16

摘要

PANDORA是一个交互式系统，用于分析、综合和实时评估数据通信协议。潘多拉系统正在代尔夫特理工大学与荷兰PTT的Dr. Neher实验室合作开发。本文概述了系统的结构，讨论了系统的主要设计目标。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The Pandora system: An interactive system for the design of data communication protocols

PANDORA is an interactive system for the analysis, synthesis, and real-time assessment of data communication protocols. The Pandora system is being developed at the Delft University of Technology in cooperation with the Dr. Neher Laboratories of the Netherlands PTT. This paper gives an overview of the structure of the system and discusses the main design goals.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Computer Networks (1976)

自引率

0.00%

发文量