On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-10696-0_23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Testing Equivalences for Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1983English

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Risk Analysis of Power Systems for Both Real and Reactive Power

Journal of Modern Power Systems and Clean Energy
Renewable EnergyPower Technologythe EnvironmentSustainabilityEnergy Engineering
2013English

Some Problems Concerning the Equivalences of Two Systems of Differential Equations

Lecture Notes in Mathematics
Number TheoryAlgebra
1986English

Systematic Testing of Asynchronous Reactive Systems

2015English

Generalized Instantaneous Reactive Power Theory for Three-Phase Power Systems

IEEE Transactions on Instrumentation and Measurement
Electronic EngineeringElectricalInstrumentation
1996English

Equivalences of Pushdown Systems Are Hard

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy