Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008. The 19 revised full papers and 1 revised short paper presente...
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Suzuki, Kenji. (Editor, http://id.loc.gov/vocabulary/relators/edt), Higashino, Teruo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Yasumoto, Keiichi. (Editor, http://id.loc.gov/vocabulary/relators/edt), El-Fakih, Khaled. (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
Edition: | 1st ed. 2008. |
Series: | Programming and Software Engineering ;
5048 |
Subjects: | |
Online Access: | https://doi.org/10.1007/978-3-540-68855-6 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /
Published: (2007) -
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /
Published: (2005) -
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /
Published: (2006) -
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /
Published: (2008) -
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /
Published: (2005)