Formal Methods for Open Object-Based Distributed Systems (FMOODS)

A conference, workshop or journal: the thing that recurs, across all its years.

A conference on formal methods for open, object-based distributed systems, run from 1996. It merged with FORTE in 2007, so citations to it stop there and continue under the joint name.

Part of Lecture Notes in Computer Science.

0 references

Nothing published under this yet.