×

适配蛋白

swMATH ID: 3405
软件作者： 伊丽莎白·伦纳德一世。；康斯坦斯·海特迈尔。
描述： 使用APTS从正式需求规范合成程序
主页： http://www.springerlink.com/content/vh72480656336222/fulltext.pdf
关键词： 代码生成;代码综合;APTS公司;可控硅;需求规范;形式规范;程序转换
相关软件： PVS公司;NAT2测试;拍打;NuSMV公司;自动化;可控硅
引用于： 4文件

标准文章

1出版物描述软件，包括1出版物以zbMATH为单位 年份
使用APTS从正式需求规范合成程序。 Zbl 1038.68080号
伊丽莎白·伦纳德。;康斯坦斯·海特迈尔。
2003
全部的 前5名

8位作者引用

1 马丁·邦德。
1 古斯塔沃·卡瓦略
1 安娜·卡瓦尔坎蒂
1 Wil J.M.德克斯。
1 康斯坦斯·海特迈尔。
1 伊丽莎白·伦纳德。
1 奥古斯托·桑帕约。
1 Sheu、Jiuh-Biing

引用于4个系列

1 模糊集与系统
1 圣母院形式逻辑杂志
1 计算的形式方面
1 高阶和符号计算

在4个字段中引用

2 计算机科学（68至XX）
2 系统论；控制（93至XX）
1 数学逻辑和基础（03-XX）
1 运筹学、数学规划（90-XX）

按年份列出的引文