๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An extended strange planet protocol

โœ Scribed by Liu, Jin; Duan, Zhenhua; Tian, Cong; Zhang, Nan

Book ID
125363152
Publisher
Springer US
Year
2014
Tongue
English
Weight
319 KB
Volume
30
Category
Article
ISSN
1382-6905

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An Extended Multi-Agent Negotiation Prot
An Extended Multi-Agent Negotiation Protocol
โœ Samir Aknine; Suzanne Pinson; Melvin F. Shakun ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Springer US ๐ŸŒ English โš– 789 KB
An extended-UIO-based method for protoco
An extended-UIO-based method for protocol conformance testing
โœ Giacomo Buonanno; Franco Fummi; Donatella Sciuto ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 335 KB

Veriยฎcation of protocols is performed through conformance testing. The aim of this paper is to introduce the conformance test generation approach for protocols described by means of Finite State Machines. A functional fault model is adopted and the state discrimination is performed by applying an ex