Pages that link to "Item:Q5394050"
From MaRDI portal
The following pages link to Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394050):
Displaying 5 items.
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Probabilistic Guarded P Systems, A New Formal Modelling Framework (Q3454890) (← links)
- (Q5021010) (← links)
- Formal Approaches to Software Testing (Q5710652) (← links)
- Symbolic approaches to probability distributions in process algebra (Q5944220) (← links)