Formal Method for Validation of Product Design through Knowledge Modelling.

Stilian Stanev, Jivka Ovtcharova, Waldemar Walla

Browse the full IC3K paper archive.