...
机译:使用轻量级形式方法验证语音通信要求
机译:使用轻量级形式方法验证语音通信要求
机译:使用轻量级形式方法进行需求建模的经验
机译:验证要求规范中正式工程方法的人为因素
机译:空中语音通信系统的需求验证交通管制。轻量化形式的工业应用方法
机译:集成非正式和正式的需求方法:一种使用空间参考数据的系统的实用方法。
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用