Travelled to:
1 × Italy
Collaborated with:
S.Nakkrasae
Talks about:
approach (1) softwar (1) classif (1) specif (1) formal (1) compon (1)
Person: Peraphon Sophatsathit
DBLP: Sophatsathit:Peraphon
Contributed to:
Wrote 1 papers:
- SEKE-2002-NakkrasaeS #approach #classification #component #formal method #specification
- A formal approach for specification and classification of software components (SN, PS), pp. 773–780.