3481 | FMOODS 2008 : Formal Methods for Open Object-based Distributed Systems
![]() ![]() |
||
---|---|---|---|
¸¶°¨ÀÏÀÚ | 2008/01/08 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://discotec08.ifi.uio.no/FMOODS08/HomePage | Àå ¼Ò | |
FMOODS 2008 : Formal Methods for Open Object-based Distributed Systems June 4-6, 2008 Oslo, Norway Important Dates: Abstract submission : January 8, 2008 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.