Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Huang, Runlei"'
Publikováno v:
EPTCS 55, 2011, pp. 121-138
Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The dif
Externí odkaz:
http://arxiv.org/abs/1106.4097
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.