automata theory; formal verification; closed-loop properties; computational complexity; control software; electromechanical braking system; formal analysis; functional analysis; hybrid automata; hybrid systems; model checking; standard model checkers; state-of-the art timing models; timing behavior; timing effects; Analytical models; Automata; Computational modeling; Software; Time factors; Timing;
机译:基于应用软件特征分析的动态存储控制最优方法选择准则
机译:在基于测量的时序分析中减轻软件-仪器缓存的影响
机译:闭环换相延迟对步进电机控制的影响分析及其在参数估计中的应用
机译:控制软件闭环性能时序效应正式分析
机译:PLC控制系统:操作原理,硬件配置和闭环反馈控制系统设计,具有Allen-Bradley SLC 500模块化控制器技术培训工作站和Rockwell Automation RSLogix 500项目开发软件。
机译:产前微量营养素对妊娠高血压的影响:双盲随机对照试验的二次分析
机译:软件系统中时序特性的正式规范和分析
机译:软件容错性的形式化建模与分析