Formal Techniques for Networked and Distributed Systems - FORTE 2008
The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed sy...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Springer
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/26381 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-26381 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-263812020-06-08T08:51:01Z Formal Techniques for Networked and Distributed Systems - FORTE 2008 Suzuki, K. Higashino, T. Yasumoto, K. El-Fakih, K. Computer Science ; Formal methods (Computer science) 004.6/2 The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked systems. 2017-04-11T09:09:00Z 2017-04-11T09:09:00Z 2008 Book 978-3-540-68854-9 http://repository.vnu.edu.vn/handle/VNU_123/26381 en 351 p. application/pdf Springer |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Computer Science ; Formal methods (Computer science) 004.6/2 |
| spellingShingle |
Computer Science ; Formal methods (Computer science) 004.6/2 Formal Techniques for Networked and Distributed Systems - FORTE 2008 |
| description |
The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked systems. |
| author2 |
Suzuki, K. |
| author_facet |
Suzuki, K. |
| format |
Book |
| title |
Formal Techniques for Networked and Distributed Systems - FORTE 2008 |
| title_short |
Formal Techniques for Networked and Distributed Systems - FORTE 2008 |
| title_full |
Formal Techniques for Networked and Distributed Systems - FORTE 2008 |
| title_fullStr |
Formal Techniques for Networked and Distributed Systems - FORTE 2008 |
| title_full_unstemmed |
Formal Techniques for Networked and Distributed Systems - FORTE 2008 |
| title_sort |
formal techniques for networked and distributed systems - forte 2008 |
| publisher |
Springer |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/26381 |
| _version_ |
1680967069176168448 |