| 书目名称 | FME ‘97 Industrial Applications and Strengthened Foundations of Formal Methods |
| 副标题 | 4th International Sy |
| 编辑 | John Fitzgerald,Cliff B. Jones,Peter Lucas |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of FME ‘97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability. |
| 出版日期 | Conference proceedings 1997 |
| 关键词 | Mathematica; design; development; distributed systems; formal method; formal methods; formal specification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-63533-5 |
| isbn_softcover | 978-3-540-63533-8 |
| isbn_ebook | 978-3-540-69593-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1997 |
发表于 2025-3-21 16:33:00
