×
约阿昆·尼科拉斯;安布罗西奥·托瓦尔;奥雷里奥·阿雷纳斯;胡安·阿尔卡德

原子分辨率显微镜控制和形貌的正式验证和验证。 （英语） Zbl 1003.93512号

赛博。系统。 32，第8号，851-870（2001）。

MSC公司：

93立方厘米 控制理论中的应用模型
93A30型 系统数学建模（MSC2010）

软件：

目标3;2月2日;莫德;咖啡馆OBJ;落叶松;Z轴
PDF格式BibTeX公司 XML格式引用
\textit{J.Nicolás}等人，Cybern。系统。32，第8号，851--870（2001；Zbl 1003.93512）
全文： 内政部

参考文献：

[1] Goguen J.A.，祈使文法的代数语义学。剑桥（1996）
[2] Goguen J.A.，《使用OBJAlgebraic规范的软件工程》（2000年）·doi:10.1007/978-1-4757-6541-0
[3] Goguen，J.A.、T.Winkler、J.Meseguer、K.Futatsugi和J.P.Jouannaud。(1992). OBJ.SRI-CSL技术报告简介。位于http://www.cs.ucsd.edu/users/goguen/ps/iobj.ps.gz
[4] Jones C.B，使用VDM进行系统软件开发（1986）·Zbl 0584.68008号
[5] Kneuper R.，《计算的形式方面》，第9页，第379页–（1997年）·doi:10.1007/BF01211297
[6] Toval A.，数据库和专家系统应用，LNCS 856（1994）
[7] Walmsley D.G.，《表面科学》181第1页–（1987）·doi:10.1016/0039-6028（87）90137-3
[8] Goguen J.A.，技术报告（1988年）
[9] Goguen J.A.，基于等式逻辑的元逻辑框架。《皇家学会哲学翻译》，A辑，339页，69–（1992）·doi:10.1098/rsta.1992.0026
[10] Alcalde，J.、Nicol和aacute；s、 J.和Toval，A.1999年。”扫描隧道显微镜的代数规范。TR LSI 4-99“。信息部技术报告；西班牙西斯提马：穆尔西亚大学。
[11] Alencar A.，ECOOP’91会议记录512 pp 180–（1991）
[12] Bagert D.J.，ACM通讯42（4），第27页–（1999）·doi:10.1145/299157.299163
[13] Binning G.，《物理评论快报》49第57页–（1982年）·doi:10.1103/PhysRevLett.49.57
[14] Bonnell D.A.，扫描隧道显微镜和光谱学，理论技术和应用（1993年）
[15] Cohen B.，《复杂系统规范》。阅读（1986）
[16] Delisle N.，IEEE软件第29页–（1990）
[17] Diaconescu R.，AMAST计算机系列6（1998）
[18] Luqi J.A.，IEEE软件第73页–（1997）·doi:10.1109/52.566430
[19] Lynding J.W.，《科学仪器评论》59页，1897–（1988）·doi:10.1063/11.140047
[20] Goguen J.A.，IEEE传输。软件工程10 pp 528–（1984）·Zbl 0545.68017号 ·doi:10.1109/TSE.1984.5010277
[21] Guttag J.V.，《计算机科学丛书中的文本和专著》（1993年）
[22] Halang W.A.，IEEE软件11第61页–（1994）·doi:10.1109/52.251211
[23] Meseguer J.，《开放式基于对象的分布式系统形式化方法IFIP会议论文集IV》，FMOODS（2000），第89–（2000）页·doi:10.1007/978-0-387-35520-7_5
[24] 斯皮维，J.M.1989。”Z表示法。参考手册。国际计算机科学系列”。Prentice Hall国际·Zbl 0777.68003号
[25] Grima，B.和Toval，A.对象图符号的代数形式化：验证与；面向对象反应系统的验证（西班牙语）。程序。GULP-PRODE'94声明性编程联合会议。西班牙巴伦西亚。
[26] Ehrig H.，《代数规范基础I：方程和初始语义》（1985）·Zbl 0557.68013号 ·doi:10.1007/978-3-642-69962-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。