Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science - Germany
doi 10.1007/11945529_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Distributed Data Mining Systems: Techniques, Approaches and Algorithms

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

Verification Techniques for LOTOS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Formal Development of Distributed Enumeration Algorithms by Refinement-Based Techniques

English

DiVinE – A Tool for Distributed Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Integrating Distributed Algorithms Into Distributed Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1999English

Meta-Models Combination for Reusing Verification Techniques

2019English

Decomposition Optimization Algorithms for Distributed Radar Systems

IEEE Transactions on Signal Processing
Electronic EngineeringSignal ProcessingElectrical
2016English

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy