way and the checking time of action przekaznikow

• 1. 预测医技检查时间的方法和装置 [P] . 中国专利： CN105631200B . 2018.05.08
• 2. 一种缩短磨煤机检查时间的工具 [P] . 中国专利： CN207929397U . 2018-10-02
• 3. and the way to check prawidlowosci action przekaznikow [P] . PL202811A1 . 1979-07-16

  机译： 以及检查继电器正确性的方法

• 4. Method for operating a processor unit uses an interrupt drive to update a time cell via an updating priority routine while checking the time cell via a reaction priority routine on attaining a reaction criterion. [P] . 德国专利： DE10037244A1 . 2002-02-14

  机译： 用于操作处理器单元的方法使用中断驱动器通过更新优先级例程来更新时间单元，同时在达到反应标准时经由反应优先级例程来检查时间单元。

• 5. Method and apparatus for checking the validity of reaction times of a person [P] . 德国专利： DE102012111733A1 . 2014-06-05

  机译： 检查人的反应时间有效性的方法和装置

• 1. DIAGNOSTIC CHECKING FOR TIME SERIES MODELS USING NONPARAMETRIC APPROACH [J] . 钟登华1, 尼伯伦丁2 天津大学学报：英文版 . 1997,第001期
• 2. Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems [C] . Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, ACM international conference on embedded software . 2012
• 3. Optimal time-variable pricing for check-cashing transactions. [D] . Moore, Bruce W. 2004
• 4. Disparity between timed-kill and checkerboard methods for determination of in vitro bactericidal interactions of vancomycin plus rifampin versus methicillin-susceptible and -resistant Staphylococcus aureus. [O] . A S Bayer, J O Morrison 1984
• 5. Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets [O] . Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, 2015

• 1. Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study [J] . Nadeem Akhtar ,Muhammad Nauman . 软件工程与应用（英文） . 2015,第2期
• 2. The Dynamic Checking of Complex Real Time System [J] . YU Chao ,HUANG Benwen ,WU Guoqing . 武汉大学自然科学学报：英文版 . 2006,第3期
• 3. Changes in reaction time, coefficient of variance of reaction time, and autonomic nerve function in the mental fatigue state caused by long-term computerized Kraepelin test workload in healthy volunteers [J] . Daisuke Kuratsune ,Seiki Tajima ,Junichi Koizumi . 神经科学国际期刊（英文） . 2012,第2期
• 4. Checkout time板块有效教学的实践与思考——以译林版英语三下Unit 6《What time is it?》教学为例 [J] . 陈颖 ,罗菁 . 小学教学参考 . 2018,第036期
• 5. 民用客机的定期检查时间间隔的计算 [C] . 李林 . 第五届民用飞机先进制造技术及装备论坛 . 2013
• 6. 肠道准备完成后等待肠镜检查时间对肠道准备质量影响的多中心观察性研究 [A] . 杨文博 . 2019