Analysis of meeting protocols by formalisation, simulation, and verification

Author： Jonker Catholijn   Schut Martijn   Treur Jan   Yolum Pınar  

Publisher： Springer Publishing Company

ISSN： 1381-298X

Source： Computational & Mathematical Organization Theory, Vol.13, Iss.3, 2007-09, pp. : 283-314

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Analysis, simulation, and experimental verification of split‐ring resonator

By  

MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, Vol. 57, Iss. 10, 2015-10 ,pp. : 2358-2363

John Wiley & Sons Inc

Access to resources Recommend Favorite

Performance Analysis of Distributed Protocols for Bidirectional Wavelength Reservations in Dynamic WDM Networks

By Feng Feifei   Zheng Xiaoping   Zhang Hanyi   Guo Yili  

Photonic Network Communications, Vol. 9, Iss. 2, 2005-03 ,pp. : 223-233

Springer Publishing Company

Access to resources Recommend Favorite

Analysis of reactive routing protocols for mobile ad hoc networks in Markov models

By Wang Han-xing   Hu Xi   Fang Jian-chao   Jia Wei-jia  

Applied Mathematics and Mechanics, Vol. 28, Iss. 1, 2007-01 ,pp. : 127-139

Springer Publishing Company

Access to resources Recommend Favorite

Robust integrated actuator control: experimental verification and real‐time hybrid‐simulation implementation

By  

EARTHQUAKE ENGINEERING AND STRUCTURAL DYNAMICS, Vol. 44, Iss. 3, 2015-03 ,pp. : 441-460

John Wiley & Sons Inc

Access to resources Recommend Favorite

The Numerical Simulation of the Deep Drawing Process and its Verification by the Adaptation of the Laminated Tooling Concept

By  

Materials Science Forum, Vol. 2016, Iss. 862, 2016-09 ,pp. : 222-229

Trans Tech Publications

Access to resources Recommend Favorite