Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004.
1980 ◽
Keyword(s):