Se connecter
|
French
|
Conditions d'utilisation
Dictionnaire
Le forum
Contacts
Anglais
⇄
Russe
G
o
o
g
l
e
|
Forvo
|
+
the transition can be taken only if the current values of the clocks satisfy the clock constraint
contraintes
progr.
Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
Ajouter
|
Signaler une erreur
|
Obtenir une URL courte
|
Conseils pour la sélection de la langue