Pages that link to "Item:Q5479151"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479151):
Displaying 4 items.
- Runtime monitors for Markov decision processes (Q832291) (← links)
- Trace relations and logical preservation for Markov automata (Q1631227) (← links)
- Data-driven modelling and probabilistic analysis of interactive software usage (Q1785866) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)