173 search results - page 2 / 35 » Remarks on Testing Probabilistic Processes |
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
CORR
2010
Springer
13 years 7 months ago
2010
Springer
JACM
2007
13 years 7 months ago
2007
CALCO
2009
Springer
14 years 1 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
13 years 7 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...