Pages that link to "Item:Q2368993"

The following pages link to Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993):

Displaying 13 items.

• Symbolic computing in probabilistic and stochastic analysis (Q327047) (← links)
• Model-based testing of probabilistic systems (Q682363) (← links)
• Testing a probabilistic FSM using interval estimation (Q969041) (← links)
• Testing from a stochastic timed system with a fault model (Q1001893) (← links)
• Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
• Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
• Introducing complexity to formal testing (Q2291824) (← links)
• A General Testability Theory (Q3184700) (← links)
• Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
• (Q4255557) (← links)
• Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394050) (← links)
• Formal Approaches to Software Testing (Q5710652) (← links)