Zaloguj się
|
Polish
|
Umowa użytkownika
Słowniki
Forum
Kontakt
Angielski
⇄
Rosyjski
G
o
o
g
l
e
|
Forvo
|
+
the transition can be taken only if the current values of the clocks satisfy the clock constraint
akcenty
progr.
Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
Dodaj
|
Zgłoś błąd
|
Krótki link
|
Sposoby wybierania języków