机译:任务自动机:可调度性,可判定性和不可判定性
Ericsson AB, Torshamnsgatan 23, 164 83 Stockholm, Sweden;
real time systems; schedulability analysis; timed automata; modeling and verification;
机译:返回具有通信界限的并行通信有限自动机:层次结构,可判定性和不可判定性
机译:细胞自动机的可判定性和不可判定性
机译:关于量子自动机的可决定和不可决定的问题
机译:使用定时自动机进行可调度性分析中的可决定性和不可决定性问题
机译:基于自动机的柔性制造工作单元的调度和控制。
机译:自由操作人员的绩效随并发任务的不同而不同:无任务的概率学习并且与任务一致的进度
机译:任务自动机:可调度性,可判定性和不可判定性
机译:定时自动机的语言包含问题:关闭可判定性差距