8 citations · 17 across the 6 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 1 cited
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Suzana Andova, Annabelle McIver, Pedro D'Argenio +4
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the…
cs.LO2009
Testing Probabilistic Processes: Can Random Choices Be Unobservable?
Sonja Georgievska, Suzana Andova
A central paradigm behind process semantics based on observability and testing is that the exact moment of occurring of an internal nondeterministic choice is unobservable. It is n…