JPH0313779B2 - - Google Patents

Info

Publication number
JPH0313779B2
JPH0313779B2 JP59271938A JP27193884A JPH0313779B2 JP H0313779 B2 JPH0313779 B2 JP H0313779B2 JP 59271938 A JP59271938 A JP 59271938A JP 27193884 A JP27193884 A JP 27193884A JP H0313779 B2 JPH0313779 B2 JP H0313779B2
Authority
JP
Japan
Prior art keywords
state
transition
protocol
stable
transitions
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
JP59271938A
Other languages
English (en)
Japanese (ja)
Other versions
JPS61150547A (ja
Inventor
Yoshiaki Tsunoda
Yasushi Wakahara
Masamitsu Norikoshi
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
KDDI Corp
Original Assignee
Kokusai Denshin Denwa KK
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Kokusai Denshin Denwa KK filed Critical Kokusai Denshin Denwa KK
Priority to JP59271938A priority Critical patent/JPS61150547A/ja
Priority to CA000484679A priority patent/CA1224880A/en
Priority to US06/749,591 priority patent/US4694422A/en
Publication of JPS61150547A publication Critical patent/JPS61150547A/ja
Publication of JPH0313779B2 publication Critical patent/JPH0313779B2/ja
Granted legal-status Critical Current

Links

Landscapes

  • Detection And Prevention Of Errors In Transmission (AREA)
  • Communication Control (AREA)
  • Maintenance And Management Of Digital Transmission (AREA)
  • Debugging And Monitoring (AREA)
JP59271938A 1984-12-25 1984-12-25 プロトコルの論理検証方式 Granted JPS61150547A (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP59271938A JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式
CA000484679A CA1224880A (en) 1984-12-25 1985-06-20 Protocol validation system
US06/749,591 US4694422A (en) 1984-12-25 1985-06-24 Protocol validation system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP59271938A JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式

Publications (2)

Publication Number Publication Date
JPS61150547A JPS61150547A (ja) 1986-07-09
JPH0313779B2 true JPH0313779B2 (enrdf_load_stackoverflow) 1991-02-25

Family

ID=17506927

Family Applications (1)

Application Number Title Priority Date Filing Date
JP59271938A Granted JPS61150547A (ja) 1984-12-25 1984-12-25 プロトコルの論理検証方式

Country Status (1)

Country Link
JP (1) JPS61150547A (enrdf_load_stackoverflow)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9038403B2 (en) 2012-04-02 2015-05-26 Whirlpool Corporation Vacuum insulated door structure and method for the creation thereof
US9689604B2 (en) 2014-02-24 2017-06-27 Whirlpool Corporation Multi-section core vacuum insulation panels with hybrid barrier film envelope

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9038403B2 (en) 2012-04-02 2015-05-26 Whirlpool Corporation Vacuum insulated door structure and method for the creation thereof
US9689604B2 (en) 2014-02-24 2017-06-27 Whirlpool Corporation Multi-section core vacuum insulation panels with hybrid barrier film envelope

Also Published As

Publication number Publication date
JPS61150547A (ja) 1986-07-09

Similar Documents

Publication Publication Date Title
Devillers et al. Verification of a leader election protocol: Formal methods applied to IEEE 1394
CN113656227B (zh) 一种芯片验证方法、装置、电子设备及存储介质
US7080087B2 (en) Automatic aggregation method, automatic aggregation apparatus, and recording medium having automatic aggregation program
Ladkin et al. Interpreting message flow graphs
CN113570460B (zh) 在区块链中并发执行交易的方法和装置
US5491639A (en) Procedure for verifying data-processing systems
CN113010489B (zh) 一种数据迁移方法及系统
CN110290166B (zh) 跨集群数据交互方法、系统、装置及可读存储介质
CN113326026B (zh) 一种微服务业务流程接口的生成方法与终端
CN115996169A (zh) 一种网络故障分析方法、装置、电子设备及存储介质
CN117313369A (zh) 基于时间自动机的复杂嵌入式系统的需求仿真方法及系统
US20250259079A1 (en) Data fusion method and apparatus, and device and storage medium
CN114444423B (zh) 基于验证平台的数据处理方法、系统及电子设备
CN115237444A (zh) 基于版本号的并发控制方法、装置、设备及存储介质
CN117255031B (zh) 一种基于多重映射的网络通信认证方法
JPH0458743B2 (enrdf_load_stackoverflow)
JPH0313779B2 (enrdf_load_stackoverflow)
CN113671924B (zh) Dcs实时值置值方法和系统、设备及存储介质
CN116628089A (zh) 数据同步方法、装置、电子设备及计算机可读存储介质
CN116185930A (zh) 一种并发总线任务的处理方法、装置、系统及电子设备
CN110851178B (zh) 一种基于分布式图可达计算的过程间程序静态分析方法
US6381606B1 (en) Application programming interface for creating authorized connections to a database management system
US7487405B1 (en) Method and mechanism for dynamically configuring logical paths of state machines
Bruno et al. Rapid prototyping of control systems using high level Petri nets
CN111611684B (zh) 干涉区逻辑块的生成方法、系统、装置和存储介质