1. 首页 ›
2. 英文期刊 › COMPUTER SCIENCE, SOFTWARE ENGINEERING

FORMAL ASPECTS OF COMPUTING

FORM ASP COMPUT

ISSN：0934-5043　E-ISSN：1433-299X 　出版商：Springer Nature 　国家：UNITED STATES 　周期：Quarterly

This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application. In particular| the scope of Formal Aspects of Computing includes: well-founded notations for the description of systems; verifiable design methods; elucidation of fundamental computational concepts; approaches to fault-tolerant design; theorem-proving support; state-exploration tools; formal underpinning of widely used notations and methods; formal approaches to requirements analysis.

数据整理自公开网络的投稿反馈，仅供参考。