| 書(shū)目名稱 | Formal Techniques for Networked and Distributed Systems - FORTE 2007 | | 副標(biāo)題 | 27th IFIP WG 6.1 Int | | 編輯 | John Derrick,Jüri Vain | | 視頻video | http://file.papertrans.cn/346/345933/345933.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci?cation Testing and Veri?cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The ?rst PSTV conference took place in 1981, and the ?rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re?ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the ?agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed S | | 出版日期 | Conference proceedings 2007 | | 關(guān)鍵詞 | Quality of Service; Quality of Service (QoS); algorithm; algorithms; distributed systems; model checking; | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-540-73196-2 | | isbn_softcover | 978-3-540-73195-5 | | isbn_ebook | 978-3-540-73196-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | IFIP International Federation for Information Processing 2007 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 08:16
發(fā)表于 2025-3-21 17:44:28
