A UML approach to the design of open distributed systems
収録刊行物
-
- Formal Methods and Software Engineering
-
Formal Methods and Software Engineering 561-572, 2002
Formal Methods and Software Engineering 561-572, 2002