Collaborated with:
V.Levin
Talks about:
templat (1) sequenc (1) messag (1) verif (1) match (1) chart (1)
Person: Doron A. Peled
DBLP: Peled:Doron_A=
Contributed to:
Wrote 1 papers:
- TAPSOFT-1997-LevinP #sequence chart #verification
- Verification of Message Sequence Charts via Template Matching (VL, DAP), pp. 652–666.