| 書(shū)目名稱 | FM 2005: Formal Methods | | 副標(biāo)題 | International Sympos | | 編輯 | John Fitzgerald,Ian J. Hayes,Andrzej Tarlecki | | 視頻video | http://file.papertrans.cn/341/340086/340086.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume. We would like to thank all the Program Committee members and the referees for their excellent and e?cient work. Apart from the selected contributions, the Committee invited three keynote lectures from Mathai Joseph, Marie | | 出版日期 | Conference proceedings 2005 | | 關(guān)鍵詞 | CSP; architecture; formal method; formal specification; formal testing; formal verification; mathematical | | 版次 | 1 | | doi | https://doi.org/10.1007/b27882 | | isbn_softcover | 978-3-540-27882-5 | | isbn_ebook | 978-3-540-31714-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2005 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 05:30
發(fā)表于 2025-3-21 19:02:35
