Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-16561-0_18
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automatic Trace-Based Performance Evaluation Model Building for Concurrent Distributed Systems

English

Verification of EB3 Specifications Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Stochastic Equivalence for Performance Analysis of Concurrent Systems in dtsiPBC

Siberian Electronic Mathematical Reports
Mathematics
2017English

Evaluation of Ultrasonic Mass Survey for Abdominal Organs During the Past Ten Years

Japanese journal of MHTS
1994English

Ten Years of Neuroinformatics

Neuroinformatics
NeuroscienceInformation SystemsSoftware
2012English

Ten Years After

Medicine and Pharmacy Reports
Medicine
2018English

Ten Years On

Chronic Respiratory Disease
PulmonaryRespiratory Medicine
2013English

Validation of Asynchronous Circuit Specifications Using IF/CADP

English

Ten Years of Ergonomics

Nature
Multidisciplinary
1959English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy