FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings /
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organ...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin :
Springer-Verlag,
2003.
|
| Series: | Lecture notes in computer science ;
2805. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xvii, 942 pages) : illustrations |
| Bibliography: | With bibliographic references and index. |
| ISBN: | 9783540452362 (electronic bk.) 3540452362 (electronic bk.) |