机译:带有概率模型检查的进程间通信的组态
Tech Univ Dresden Dresden Germany;
Formal quantitative tradeoff analysis; Probabilistic model checking; Efficiency; Fault tolerance; Automatic parameter synthesis; Inter-process communication;
机译:模型检查概率社会承诺以实现智能代理通信
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:SELinux进程间通信的模型检查
机译:用工程模型和应用程序进行概率符号模型检查。
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:概率模型检验在通信协议中的实际应用
机译:在某些区间数值检验二元Goldbach猜想的概率复杂性。建模,分析和模拟。