Meinten Sie:
+keyword:("markov")
Systems, man and cybernetics, international conference, Dallas, 2 - 4 oct., 1974
Improving model-based verification of embedded systems by analyzing component dependences
A Simple State-based Prognostic Model for Railway Turnout Systems