| 書目名稱 | FME 2003: Formal Methods | | 副標題 | International Sympos | | 編輯 | Keijiro Araki,Stefania Gnesi,Dino Mandrioli | | 視頻video | http://file.papertrans.cn/341/340101/340101.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation 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 - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as “widening the scope. ” Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x ‘E’ from the title of the conference re?ects the wish to welcome participation and contribution from every country; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. The recent innovation of including an Industrial Day as an important part of the symposium shows t | | 出版日期 | Conference proceedings 2003 | | 關(guān)鍵詞 | abstraction; design; formal methods; formal verification; mathematical program construction; model checki | | 版次 | 1 | | doi | https://doi.org/10.1007/b13229 | | isbn_softcover | 978-3-540-40828-4 | | isbn_ebook | 978-3-540-45236-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2003 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 00:07
發(fā)表于 2025-3-21 16:54:16
