协同形式验证环境Co-Formal的建立与应用

机译：环境良性和稳健稳定性表明测定方法的开发和验证性Lenalidomide的测定方法：综合降解动力学研究与协同作用的应用，涉及绿色分析化学和质量的协同方法

机译：基于协同仿真器的网络应用开发与验证环境的建议

机译：在无处不在的环境中，建立适应用户交互的运行时演化模型：RADEM形式模型

机译：具有形式化验证的协同工程虚拟环境

机译：缩放自动验证：建立高完整性软件的案例研究和形式化IDE

机译：验证德语版的悲伤认知问卷和建立简短的形式

机译：基于基于逻辑的环境的硬件/软件片上系统协同验证平台，用于应用程序编程接口

机译：利用伪码的形式化验证建立算法代码实现的高可信度

机译：模型驱动的协同业务应用程序开发环境以及由此开发的协同应用程序

机译：模型驱动的协同业务应用程序开发环境以及由此开发的协同应用程序

机译：在应用程序的执行环境中异构的计算系统和数据传输的应用程序服务中建立用户友好的服务应用程序执行环境的方法和系统