Behaviour Analysis of Distributed Systems Using the Tracta Approach

Author： Giannakopoulou D.  

Publisher： Springer Publishing Company

ISSN： 0928-8910

Source： Automated Software Engineering, Vol.6, Iss.1, 1999-01, pp. : 7-35

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

An intelligent approach to prevent distributed systems attacks

By Abouzakhar Nasser S.   Manson Gordon A.  

Information Management & Computer Security, Vol. 10, Iss. 5, 2002-12 ,pp. : 203-209

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

An Engineering Approach to Cooperating Agents for Distributed Information Systems

By Deen S.  

Journal of Intelligent Information Systems, Vol. 25, Iss. 1, 2005-07 ,pp. : 5-45

Springer Publishing Company

Access to resources Recommend Favorite

A Modular Approach to Programming Distributed Real-Time Systems

By Ren S.   Agha G.A.   Saito M.  

Journal of Parallel and Distributed Computing, Vol. 36, Iss. 1, 1996-07 ,pp. : 4-12

Academic Press

Access to resources Recommend Favorite

An Approach to the Verification of Symmetric Parameterized Distributed Systems

By Konnov I.   Zakharov V.  

Programming and Computer Software, Vol. 31, Iss. 5, 2005-09 ,pp. : 225-236

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

The active components approach for distributed systems development

By Pokahr Alexander   Braubach Lars  

International Journal of Parallel, Emergent and Distributed Systems, Vol. 28, Iss. 4, 2013-08 ,pp. : 321-369

Taylor & Francis Ltd

Access to resources Recommend Favorite