Pages that link to "Item:Q5703771"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703771):
Displaying 9 items.
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- Generating tests from B specifications and dynamic selection criteria (Q539227) (← links)
- Decentralized control of infinite systems (Q645050) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs (Q2814110) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- Generating Tests from B Specifications and Test Purposes (Q3535370) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)