文章基本信息
- 标题：Towards Formal Specification for AADL with Behavior Annex in Isabelle
- 本地全文：下载
- 作者：Yu Tan ; Dianfu Ma ; Lei Qiao 等
- 期刊名称：IOP Conference Series: Earth and Environmental Science
- 印刷版ISSN：1755-1307
- 电子版ISSN：1755-1315
- 出版年度：2021
- 卷号：769
- 期号：4
- DOI：10.1088/1755-1315/769/4/042016
- 语种：English
- 出版社：IOP Publishing
