Publications
Export 2 results:
Author Title Type [ Year] Filters: Keyword is reactive systems [Clear All Filters]
2005. Probabilistic temporal logics via the modal mu-calculus. Theoretical Computer Science. 342(2-3):316-350.
1997. Specification-based Testing of Reactive Software: Tools and Experiments. Software Engineering, International Conference on. :525-525.