《混合系统逻辑分析综述》，作者:安德列·普拉泽·施普林格，2010,426页，ISBN 978-3-642-14508-7link.springer.com/book/10.1007/978-3-642-14509-4

IF 1.4 4区计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Formal Aspects of Computing Pub Date : 2023-01-29 DOI:https://dl.acm.org/doi/10.1145/3561612

Gabriele Paveri Fontana

引用次数: 0

摘要

没有摘要。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Review on Logical Analysis of Hybrid Systems By André Platzer Springer, 2010, 426 pages, ISBN 978-3-642-14508-7link.springer.com/book/10.1007/978-3-642-14509-4

No abstract available.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Formal Aspects of Computing 工程技术-计算机：软件工程

CiteScore

3.30

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： 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.