173 search results - page 2 / 35 » Remarks on Testing Probabilistic Processes |
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
CORR
2010
Springer
14 years 11 months ago
2010
Springer
JACM
2007
14 years 11 months ago
2007
CALCO
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
ICECCS
2010
IEEE
14 years 11 months ago
2010
IEEE
Participation from all stakeholders is important in a successful software development project, especially if the development project is complex and has many stakeholders. Identify...