War games ; Programming(Computers) ; Nuclear warfare ; Mathematical models ; Computer programs ; Specifications ; Instruction manuals ; Input-output devices ; Strategic warfare ; Antimissile defense systems ; Antiaircraft defense systems ; Simulation;
机译:针对线性时序逻辑规范控制多仿射系统的输入输出仿真方法
机译:输入-输出仿真方法,用于控制线性时间逻辑规范的多仿射系统
机译:用于购置未来复杂系统的购置战争游戏技术:成本加激励性费用合同的建模和仿真结果
机译:防空指挥和控制系统建模与战争游戏模拟
机译:SMACS:结构和子系统概率地震分析的计算机程序系统。卷I.用户手册
机译:NmCssC快速反应通用战争游戏系统(QUICK)编程规范手册。第三卷。模拟输出子系统。 a部分