The following pages link to (Q4411090):
Displaying 9 items.
- Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge (Q708195) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- Using the Autodependogram in Model Diagnostic Checking (Q2930696) (← links)
- Automated performance modeling of software generated by a design environment (Q4538591) (← links)
- (Q4547763) (← links)
- (Q4665739) (← links)
- (Q4818747) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464763) (← links)
- Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference (Q6104816) (← links)