✦ LIBER ✦

Design and verification of a coordination protocol for cooperating systems

✍ Scribed by J. P. Thomas

Publisher: Springer
Year: 2000
Tongue: English
Weight: 164 KB
Volume: 4
Category: Article
ISSN: 1432-7643
DOI: 10.1007/s005000000047

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A form verification system for the conce

A form verification system for the conceptual design of complex mechanical systems

✍ Jonathan S. Colton; Mark P. Ouellette 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 722 KB

Toward a wider use of formal methods for

Toward a wider use of formal methods for aerospace systems design and verification

✍ Yamine Ait Ameur; Frédéric Boniol; Virginie Wiels 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 135 KB

A game-theoretic framework for specifica

A game-theoretic framework for specification and verification of cryptographic protocols

✍ Mohamed Saleh; Mourad Debbabi 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 385 KB

Stochastic models for the design, coordi

Stochastic models for the design, coordination, and control of manufacturing systems

✍ G. Liberopoulos; C. T. Papadopoulos; B. Tan; J. MacGregor Smith; S. B. Gershwin 📂 Article 📅 2005 🏛 Springer 🌐 German ⚖ 42 KB

Development and verification of a generi

Development and verification of a generic framework for conceptual design

✍ Sebastian Macmillan; John Steele; Simon Austin; Paul Kirby; Robin Spence 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 406 KB

The rapid and dynamic information and knowledge transfer between designers during the conceptual phase of building projects can result in disorganised behaviour within the team. Team members can become frustrated by the lack of a common understanding of the manner in which the design activity is bei

Design and correctness proof of a securi

Design and correctness proof of a security protocol for mobile banking

✍ Dalton Li; David Lin; Grace Zhao; Brian Huang 📂 Article 📅 2009 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 152 KB