Travelled to:
1 × Portugal
Collaborated with:
S.Stanev J.Ovtcharova
Talks about:
knowledg (1) product (1) method (1) formal (1) design (1) valid (1) model (1)
Person: Waldemar Walla
DBLP: Walla:Waldemar
Contributed to:
Wrote 1 papers:
- KEOD-2009-StanevOW #design #formal method #modelling #validation
- Formal Method for Validation of Product Design through Knowledge Modelling (SS, JO, WW), pp. 166–170.