object-oriented; silulation; patterns; mine warfare;
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:通过仿真建模架构(SiMA)支持动态仿真:基于离散事件系统规范的建模和仿真框架
机译:通过行为建模仿真验证数据转换器规格
机译:走向使用模式的仿真模型规范
机译:信息系统领域中的规范理论,模式和模型:探索性研究。
机译:用于仿真的神经模型的面向方程的规范
机译:使用soamL模型和事件B规范来建模sOa设计模式
机译:认知模型规范与验证的模式与冲突。