机译:使用化学抽象机模型的软件体系结构的形式化规范和分析; CU-CS-709-94
机译:使用化学抽象机器模型的正式规范和软件体系结构分析
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:非正式和正式的软件建模符号是否使软件架构建模的从业人员满意?
机译:抽象形式规范以通过模型检查生成软件测试
机译:使用抽象状态机的软件正式规范
机译:水稻形态发生与植物结构:3D建筑模型的测量规范和结构发展的重建
机译:通过模型检查抽象形式规范生成软件测试
机译:通过模型检查抽象形式规范生成软件测试