Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
French
Russian
Ukrainian
Terms
for subject
Programming
containing
true time
|
all forms
English
Russian
Time can elapse in the location only as long as the invariant of the location is true
Течение времени в позиции происходит, пока инвариант этой позиции истинен
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
ssn
)
Get short URL