| 書目名稱 | FME ‘97 Industrial Applications and Strengthened Foundations of Formal Methods |
| 副標題 | 4th International Sy |
| 編輯 | John Fitzgerald,Cliff B. Jones,Peter Lucas |
| 視頻video | http://file.papertrans.cn/341/340098/340098.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 17:16
發(fā)表于 2025-3-21 16:33:00
