...
机译:一个用于建模和测试复杂软件系统的正式抽象框架
Component based system; Integration operators; Trace semantics; Transfer function; Compositional testing; Conformance testing; Coalgebra; Monad;
机译:一个用于建模和测试复杂软件系统的正式抽象框架
机译:EB-DEVS:动态复杂系统中紧急行为的建模和模拟的正式框架
机译:作为控制复杂技术系统的自适应计算机的工作辅助,揭示凝视的正式建模框架
机译:抽象形式规范以通过模型检查生成软件测试
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:基于模型的软件框架用于基于搜索的软件测试
机译:一个用于建模和测试复杂软件系统的正式抽象框架
机译:通过模型检查抽象形式规范生成软件测试