您要查找的是不是:
- SABER/TIMEDSABER/TIMED
- Timed-release公鑰協(xié)議timed-release cryptographic protocol
- SABER/TIMED溫度遙感SABER/TIMED
- RT-Z的語(yǔ)義基于Z和timed CSP,這是它具有正確性和數學(xué)嚴格性的基礎。The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour.
- Menu Option Timed Out是等待呼叫者從自定義菜單中選擇選項時(shí),系統超時(shí)的次數。Menu Option Timed Out is the number of times that the system has timed out while waiting for a caller to select an option from the custom menu.
- timed_out(bool)-如果在上次調用fread()或者fgets()中等待數據時(shí)流超時(shí)了則為T(mén)RUE。Timed_out (bool) - TRUE if the stream timed out while waiting for data on the last call to fread() or fgets().
- Z語(yǔ)言和實(shí)時(shí)timed CSP進(jìn)行集成后,稱(chēng)為RT-Z。 因此RT-Z是一種集成形式化規格說(shuō)明語(yǔ)言。So the thesis presents integrating Z and timed CSP.
- Fetch Greeting Timed Out是不能在允許的時(shí)間內檢索到訂閱者的個(gè)人問(wèn)候語(yǔ)的轉向呼叫的數量。Fetch Greeting Timed Out is the number of diverted calls for which the subscriber's personal greeting could not be retrieved within the time allowed.
- 請在日志項中搜索下列錯誤消息:cannot、could not、failure、server error、timed out、unable to以及the server sent a response。Search the log entries for the following error messages: cannot, could not, failure, server error, timed out, unable to, and the server sent a response.