Travelled to:
1 × Portugal
Collaborated with:
J.Ovtcharova W.Walla
Talks about:
knowledg (1) product (1) method (1) formal (1) design (1) valid (1) model (1)
Person: Stilian Stanev
DBLP: Stanev:Stilian
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.