concurrency control; multi-threading; operating systems (computers); rewriting systems; specification languages; stochastic automata; temporal logic; UPPAAL SMC version 4.1.18; behaviour specification; computational threads; concurrent execution; dynamic networks; modelling languages; monitoring procedure; multiprocessing systems; operating systems; quantified dynamic metric temporal logic; requirement specification; rewriting formulas; spawning primitive; specification language; stochastic hybrid automata; tear-down primitive; timed automata; Automata; Delays; Instruction sets; Ports (Computers); Semantics; Servers; Stochastic processes; Dynamic Systems; QDMTL; Statistical Model Checking; Stochastic Hybrid Automata;
机译:随机混合自动机动态网络的统计模型检验
机译:动态可重构逻辑单元:从人工神经网络到量子点细胞自动机
机译:基于环境动力学自动学习的时间逻辑机器人控制
机译:随机混合自动机动态网络的量化动态度量时间逻辑
机译:具有随机性的布尔基因调控网络的动力学
机译:一种神经启发的随机动力系统演化的一般框架:蜂窝自动机随机布尔网络和回声状态网络对临界性
机译:一种神经启发的随机动力系统演化的一般框架:蜂窝自动机,随机布尔网络和回声状态网络对临界性