Tuesday, June 8, 2010

Formal development of a washing machine controller by using formal design patterns

http://portal.acm.org/citation.cfm?id=1519454&CFID=93110173&CFTOKEN=11513284

No comments: