Pages that link to "Item:Q5170746"
From MaRDI portal
The following pages link to Specification Theories for Probabilistic and Real-Time Systems (Q5170746):
Displaying 4 items.
- A specification theory of real-time processes (Q1708707) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394050) (← links)