| 书目名称 | Integrated Formal Methods | | 副标题 | 4th International Co | | 编辑 | Eerke A. Boiten,John Derrick,Graeme Smith | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent. Kent is situated in the southeast of England, and the university sits on a hill overlooking the city of Canterbury and its world-renowned cathedral. The UniversityofKentwasgranteditsRoyalCharterin1965.Todaytherearealmost 10,000 full-time and part-time students, with over 110 nationalities represented. The IFM meetings have proven to be particularly successful. The ?rst m- ting was held in York in 1999, and subsequently we held events in Germany in 2000, and then Finland in 2002. The conferences are held every 18 months or so, and attract a wide range of participants from Europe, the Americas, Asia and Australia. The conference is now ?rmly part of the formal methods conference calendar. The conference has also evolved in terms of themes and subjects - presented, and this year, in line with the subject as a whole, we saw more work on veri?cation as some of the challenge | | 出版日期 | Conference proceedings 2004 | | 关键词 | Unified Modeling Language (UML); automata; calculus; component systems; formal method; formal methods; log | | 版次 | 1 | | doi | https://doi.org/10.1007/b96106 | | isbn_softcover | 978-3-540-21377-2 | | isbn_ebook | 978-3-540-24756-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2004 |
The information of publication is updating
|
|
发表于 2025-3-21 18:39:09
