International Conference on Formal Methods for Open Object-Based Distributed Systems (2008 :)
Overview
| Works: | 4 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal methods for open object-based distributed systems = 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 proceedings /
by:
Barthe, Gilles.; Boer, Frank S.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2008 :)
(Language materials, printed)
Subjects