Amanote Research

Amanote Research

    RegisterSign In

Tool Supported Specification and Simulation of Distributed Systems

doi 10.1109/pdse.1998.668174
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
F. HuberS. MoltererA. RauschB. SchatzM. SihlingO. Slotosch
Publisher

IEEE Comput. Soc


Related search

Specification Languages for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

Specification Styles in Distributed Systems Design and Verification

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1991English

Distributed Simulation for a Modeling and Simulation Tool: Papyrus

2019English

Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Simulation and Analysis of Distributed Systems in Klaim

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Debugging Tool for Distributed Systems

English

The Formal, Tool Supported Development of Real Time Systems

English

Distributed Parameter Model Simulation Tool for PEM Fuel Cells

International Journal of Hydrogen Energy
Condensed Matter PhysicsEnergy EngineeringRenewable EnergyFuel TechnologySustainabilityPower Technologythe Environment
2014English

HLA-Transparent Distributed Simulation of Agent-Based Systems

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy