RCOS (computer sciences): Difference between revisions

Revision as of 01:58, 19 September 2010

Revision as of 11:37, 14 January 2011

Line 21:

*Zhenbang Chen, [[Zhiming Liu]], Anders P. Ravn, Volker Stolz and Naijun Zhan. "Refinement and Verification in Component-Based Model Driven Design", Submitted to Science of Computer Programming, Elsevier. (UNU-IIST TR 388), [[2007]].

{{computer-stub}}

[[Category:Object-oriented programming]]

[[Category:Software components]]

{{Uncategorized|date=September 2010}}

[[Category:United Nations University]]

{{computer-stub}}