Constructing formal rules to verify message communication in distributed systems

ISSN： 0920-8542

Source： The Journal of Supercomputing, Vol.59, Iss.3, 2012-03, pp. : 1396-1418

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

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

By Apvrille Ludovic Saqui-Sannes Pierre Khendek Ferhat

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. : 449-466

Springer Publishing Company

Access to resources Recommend Favorite

A formal framework for black-box conformance testing of distributed real-time systems

By Krichen Moez

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 26-43

Inderscience Publishers

Access to resources Recommend Favorite

A formal framework for verifying distributed embedded systems based on abstraction methods

By Carcenac Francois Boniol Frederic

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 471-484

Springer Publishing Company

Access to resources Recommend Favorite

ANOMALY DETECTION IN DISTRIBUTED COMPUTER COMMUNICATION SYSTEMS

By Grzech Adam

Cybernetics and Systems, Vol. 37, Iss. 6, 2006-09 ,pp. : 635-652

Taylor & Francis Ltd

Access to resources Recommend Favorite

Performance evaluation of communication networks for distributed systems

By Bitam Melha Alla Hassane

International Journal of Computer Applications in Technology, Vol. 25, Iss. 4, 2006-03 ,pp. : 218-226

Inderscience Publishers

Access to resources Recommend Favorite